Copertina

Biased elementary doctrines and quotient completions

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Cioffo, Cipriano Junior
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Category Theory Logic 03G30, 03B15, 18C50, 18E10, 03B20, 03F55
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A minimalist two-level foundation for constructive mathematics
di: Maietti, Maria Emilia
Pubblicazione: (2008)

The elementary theory of the 2-category of small categories
di: Hughes, Calum, et al.
Pubblicazione: (2024)

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

A $j$-translation with Kripke forcing relation
di: Nakata, Satoshi
Pubblicazione: (2026)

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

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

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

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

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

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

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

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

Remarks on Primitive Regulation
di: Rosko, Milan
Pubblicazione: (2026)

Generalised ultracategories and conceptual completeness of geometric logic
di: Hamad, Ali
Pubblicazione: (2025)

Topoi with enough points
di: Di Liberti, Ivan, et al.
Pubblicazione: (2024)

Kripke-Joyal forcing for type theory and uniform fibrations
di: Awodey, S., et al.
Pubblicazione: (2021)

A universal characterization of standard Borel spaces
di: Chen, Ruiyuan
Pubblicazione: (2019)

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

Arrow algebras
di: Berg, Benno van den, et al.
Pubblicazione: (2023)

Non-Standard Models of Homotopy Type Theory
di: Rasekh, Nima
Pubblicazione: (2025)

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

Connectedness through decidable quotients
di: Hernández, Enrique Ruiz, et al.
Pubblicazione: (2023)

On logical parameterizations and functional representability in local set theories
di: Hernández, Enrique Ruiz, et al.
Pubblicazione: (2021)

The cohomology objects of a semi-abelian variety are small
di: Mattenet, Sébastien, et al.
Pubblicazione: (2024)

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

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

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

Existential completions and Herbrand's theorem
di: Wrigley, Joshua L.
Pubblicazione: (2025)

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

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

The Game-Theoretic Katětov Order and Idealised Effective Subtoposes
di: Kihara, Takayuki, et al.
Pubblicazione: (2026)

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

On the Existence and Disjunction Properties in Structural Set Theory
di: Saving, Mark
Pubblicazione: (2023)

Categorical structure in coherent theory of arithmetic
di: Ye, Lingyuan
Pubblicazione: (2023)

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

Generic groups and the weak amalgamation property
di: Ivanov, Aleksander, et al.
Pubblicazione: (2024)

The free bifibration on a functor
di: Clarke, Bryce, et al.
Pubblicazione: (2025)

On inverse Goodstein sequences
di: Uftring, Patrick
Pubblicazione: (2023)

Large cardinals beyond HOD
di: Aguilera, Juan Pablo, et al.
Pubblicazione: (2025)

A category of arrow algebras for modified realizability
di: Tarantino, Umberto
Pubblicazione: (2024)