Cover Image

$Sh(B)$-valued models of $(κ,κ)$-coherent categories

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Kanalas, Kristóf
Format:	Preprint
Published:	2023
Subjects:	Category Theory 18F10, 18C30, 03C90, 03C75
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Topoi with enough points
by: Di Liberti, Ivan, et al.
Published: (2024)

Sketches and Classifying Logoi
by: Di Liberti, Ivan, et al.
Published: (2024)

A universal characterization of standard Borel spaces
by: Chen, Ruiyuan
Published: (2019)

An Algebraic Abstraction of the Localic Sheafification via the Tripos-to-Topos Construction
by: Maietti, Maria Emilia, et al.
Published: (2025)

Toposes with enough points as categories of étale spaces
by: van Gool, Sam, et al.
Published: (2025)

A topos for extended Weihrauch degrees
by: Maschio, Samuele, et al.
Published: (2025)

Generalised ultracategories and conceptual completeness of geometric logic
by: Hamad, Ali
Published: (2025)

On the theories classified by an étendue
by: Wrigley, Joshua
Published: (2025)

Quotients, pure existential completions and arithmetic universes
by: Maietti, Maria Emilia, et al.
Published: (2023)

Gödel coding on fibrations and geminal categories
by: Ikeda, Yuto
Published: (2026)

Biased elementary doctrines and quotient completions
by: Cioffo, Cipriano Junior
Published: (2023)

Solution to Lawvere's first problem: a Grothendieck topos that has proper class many quotient topoi
by: Kamio, Yuhi, et al.
Published: (2024)

Craig Interpolation for Subgeometric Logics
by: Di Liberti, Ivan, et al.
Published: (2026)

Logic and Concepts in the 2-category of Topoi
by: Di Liberti, Ivan, et al.
Published: (2025)

A Completeness Theorem for Topological Doctrines
by: Ghilardi, Silvio, et al.
Published: (2025)

Ultracategories via Kan extensions of relative monads
by: Tarantino, Umberto, et al.
Published: (2025)

The modal theory of the category of sets
by: Wołoszyn, Wojciech Aleksander
Published: (2026)

Logical Aspects of Virtual Double Categories
by: Nasu, Hayato
Published: (2025)

Cartesian closedness of the category of real-valued sets, I
by: Shen, Lili, et al.
Published: (2025)

Existentially closed models and locally zero-dimensional toposes
by: Kamsma, Mark, et al.
Published: (2024)

Cofibrant generation of pure monomorphisms in presheaf categories
by: Cox, Sean, et al.
Published: (2025)

Bi-directional models of `radically synthetic' differential geometry
by: Menni, Matías
Published: (2024)

Quantale-valued maps and partial maps
by: Shen, Lili, et al.
Published: (2024)

Ultracategories as colax algebras for a pseudo-monad on CAT
by: Hamad, Ali
Published: (2025)

Sites and Grothendieck toposes: an introduction
by: Caramello, Olivia, et al.
Published: (2025)

Generation of Grothendieck topologies, provability and operations on subtoposes
by: Caramello, Olivia, et al.
Published: (2025)

Duality for Clans: an Extension of Gabriel-Ulmer Duality
by: Frey, Jonas
Published: (2023)

Type Theory for the Working Mathematical Music Theorist
by: Flieder, Drew
Published: (2025)

Free Doubly-Infinitary Distributive Categories are Cartesian Closed
by: Nunes, Fernando Lucatelli, et al.
Published: (2024)

Evolution systems: A framework for studying generic mathematical structures
by: Kubiś, Wiesław, et al.
Published: (2021)

The biequivalence of path categories and axiomatic Martin-Löf type theories
by: Otten, Daniël, et al.
Published: (2025)

Profunctorial algebras
by: Aristote, Quentin, et al.
Published: (2026)

Freely adding one layer of quantifiers to a Boolean doctrine
by: Abbadini, Marco, et al.
Published: (2024)

Quantifier-free formulas and quantifier alternation depth in doctrines
by: Abbadini, Marco, et al.
Published: (2024)

Purity in compactly generated derivators and t-structures with Grothendieck hearts
by: Laking, Rosanna
Published: (2018)

Skolem, Gödel, and Hilbert fibrations
by: Trotta, Davide, et al.
Published: (2024)

Towards enriched universal algebra
by: Rosický, Jiří, et al.
Published: (2023)

A 2-categorical approach to the semantics of dependent type theory with computation axioms
by: Spadetto, Matteo
Published: (2025)

Non-Standard Models of Homotopy Type Theory
by: Rasekh, Nima
Published: (2025)

Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
by: Rasekh, Nima
Published: (2025)