Image de couverture de livre

Quotients, pure existential completions and arithmetic universes

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Maietti, Maria Emilia, Trotta, Davide
Format:	Preprint
Publié:	2023
Sujets:	Category Theory Logic 03G30, 18C10
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

An Algebraic Abstraction of the Localic Sheafification via the Tripos-to-Topos Construction
par: Maietti, Maria Emilia, et autres
Publié: (2025)

A topos for extended Weihrauch degrees
par: Maschio, Samuele, et autres
Publié: (2025)

Generalised ultracategories and conceptual completeness of geometric logic
par: Hamad, Ali
Publié: (2025)

Categorical structure in coherent theory of arithmetic
par: Ye, Lingyuan
Publié: (2023)

A universal characterization of standard Borel spaces
par: Chen, Ruiyuan
Publié: (2019)

Existential completions and Herbrand's theorem
par: Wrigley, Joshua L.
Publié: (2025)

Biased elementary doctrines and quotient completions
par: Cioffo, Cipriano Junior
Publié: (2023)

Sites and Grothendieck toposes: an introduction
par: Caramello, Olivia, et autres
Publié: (2025)

Generation of Grothendieck topologies, provability and operations on subtoposes
par: Caramello, Olivia, et autres
Publié: (2025)

Duality for Clans: an Extension of Gabriel-Ulmer Duality
par: Frey, Jonas
Publié: (2023)

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

Craig Interpolation for Subgeometric Logics
par: Di Liberti, Ivan, et autres
Publié: (2026)

Freely adding one layer of quantifiers to a Boolean doctrine
par: Abbadini, Marco, et autres
Publié: (2024)

Duality theory for categorical theories
par: Ye, Lingyuan
Publié: (2026)

A category of arrow algebras for modified realizability
par: Tarantino, Umberto
Publié: (2024)

A minimalist two-level foundation for constructive mathematics
par: Maietti, Maria Emilia
Publié: (2008)

Existentially closed models and locally zero-dimensional toposes
par: Kamsma, Mark, et autres
Publié: (2024)

A Completeness Theorem for Topological Doctrines
par: Ghilardi, Silvio, et autres
Publié: (2025)

Quantifier-free formulas and quantifier alternation depth in doctrines
par: Abbadini, Marco, et autres
Publié: (2024)

Extending conceptual completeness via virtual ultracategories
par: Saadia, Gabriel
Publié: (2025)

Toposes with enough points as categories of étale spaces
par: van Gool, Sam, et autres
Publié: (2025)

Atomic Toposes with Co-Well-Founded Categories of Atoms
par: Marquès, Jérémie
Publié: (2024)

Topoi with enough points
par: Di Liberti, Ivan, et autres
Publié: (2024)

Logic and Concepts in the 2-category of Topoi
par: Di Liberti, Ivan, et autres
Publié: (2025)

Skolem, Gödel, and Hilbert fibrations
par: Trotta, Davide, et autres
Publié: (2024)

Double-functorial representation of regular monoidal structures
par: Siqueira, José
Publié: (2025)

$(\infty,1)$-Categorical Comprehension Schemes
par: Stenzel, Raffael
Publié: (2020)

Gödel coding on fibrations and geminal categories
par: Ikeda, Yuto
Publié: (2026)

Profunctorial algebras
par: Aristote, Quentin, et autres
Publié: (2026)

Cartesian double theories: A double-categorical framework for categorical doctrines
par: Lambert, Michael, et autres
Publié: (2023)

Sketches and Classifying Logoi
par: Di Liberti, Ivan, et autres
Publié: (2024)

Internal 1-topoi in 2-topoi
par: Helfer, Joseph
Publié: (2024)

Logical Structure on Inverse Functor Categories
par: Fiore, Marcelo, et autres
Publié: (2024)

Arrow algebras
par: Berg, Benno van den, et autres
Publié: (2023)

Kripke-Joyal forcing for type theory and uniform fibrations
par: Awodey, S., et autres
Publié: (2021)

Evolution systems: A framework for studying generic mathematical structures
par: Kubiś, Wiesław, et autres
Publié: (2021)

Non-Standard Models of Homotopy Type Theory
par: Rasekh, Nima
Publié: (2025)

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

Logical Aspects of Virtual Double Categories
par: Nasu, Hayato
Publié: (2025)

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