Buchumschlag

Connectedness through decidable quotients

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Hernández, Enrique Ruiz, Solórzano, Pedro
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Category Theory Logic Primary 18B25, Secondary 03G30, 03B38
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Tininess and right adjoints to exponentials
von: Hernández, Enrique Ruiz, et al.
Veröffentlicht: (2026)

On logical parameterizations and functional representability in local set theories
von: Hernández, Enrique Ruiz, et al.
Veröffentlicht: (2021)

Atomic Toposes with Co-Well-Founded Categories of Atoms
von: Marquès, Jérémie
Veröffentlicht: (2024)

On the theories classified by an étendue
von: Wrigley, Joshua
Veröffentlicht: (2025)

Stratified Toposes
von: Zwanziger, Colin
Veröffentlicht: (2024)

Internal 1-topoi in 2-topoi
von: Helfer, Joseph
Veröffentlicht: (2024)

A category of arrow algebras for modified realizability
von: Tarantino, Umberto
Veröffentlicht: (2024)

The Natural Display Topos of Coalgebras
von: Zwanziger, Colin
Veröffentlicht: (2024)

A $j$-translation with Kripke forcing relation
von: Nakata, Satoshi
Veröffentlicht: (2026)

Kripke-Joyal forcing for type theory and uniform fibrations
von: Awodey, S., et al.
Veröffentlicht: (2021)

Arrow algebras
von: Berg, Benno van den, et al.
Veröffentlicht: (2023)

Freely adding one layer of quantifiers to a Boolean doctrine
von: Abbadini, Marco, et al.
Veröffentlicht: (2024)

A topos for extended Weihrauch degrees
von: Maschio, Samuele, et al.
Veröffentlicht: (2025)

On topological groupoids that represent theories
von: Wrigley, Joshua
Veröffentlicht: (2023)

On the Category-Theoretic Independence of Meaning, Object, Name and Existence
von: Inoué, Takao
Veröffentlicht: (2026)

Existential completions and Herbrand's theorem
von: Wrigley, Joshua L.
Veröffentlicht: (2025)

Existentially closed models and locally zero-dimensional toposes
von: Kamsma, Mark, et al.
Veröffentlicht: (2024)

Biased elementary doctrines and quotient completions
von: Cioffo, Cipriano Junior
Veröffentlicht: (2023)

Duality for Clans: an Extension of Gabriel-Ulmer Duality
von: Frey, Jonas
Veröffentlicht: (2023)

Non-Standard Models of Homotopy Type Theory
von: Rasekh, Nima
Veröffentlicht: (2025)

Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
von: Rasekh, Nima
Veröffentlicht: (2025)

Quantifier-free formulas and quantifier alternation depth in doctrines
von: Abbadini, Marco, et al.
Veröffentlicht: (2024)

Craig Interpolation for Subgeometric Logics
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2026)

Sites and Grothendieck toposes: an introduction
von: Caramello, Olivia, et al.
Veröffentlicht: (2025)

Generation of Grothendieck topologies, provability and operations on subtoposes
von: Caramello, Olivia, et al.
Veröffentlicht: (2025)

The elementary theory of the 2-category of small categories
von: Hughes, Calum, et al.
Veröffentlicht: (2024)

Topoi with enough points and topological groupoids
von: Wrigley, Joshua
Veröffentlicht: (2024)

On the Existence and Disjunction Properties in Structural Set Theory
von: Saving, Mark
Veröffentlicht: (2023)

A Completeness Theorem for Topological Doctrines
von: Ghilardi, Silvio, et al.
Veröffentlicht: (2025)

A 2-categorical approach to the semantics of dependent type theory with computation axioms
von: Spadetto, Matteo
Veröffentlicht: (2025)

Partition Principle without Choice via Symmetric Iterations and Sheaf-Toposes
von: Gilson, Frank
Veröffentlicht: (2025)

Bi-directional models of `radically synthetic' differential geometry
von: Menni, Matías
Veröffentlicht: (2024)

Extending conceptual completeness via virtual ultracategories
von: Saadia, Gabriel
Veröffentlicht: (2025)

On the structure of Bochvar algebras
von: Bonzio, Stefano, et al.
Veröffentlicht: (2023)

On a fibrational construction for optics, lenses, and Dialectica categories
von: Capucci, Matteo, et al.
Veröffentlicht: (2024)

The Borel monadic theory of order is decidable
von: Manthe, Sven
Veröffentlicht: (2024)

Non-accessible localizations
von: Christensen, J. Daniel
Veröffentlicht: (2021)

Bochvar algebras: A categorical equivalence and the generated variety
von: Bonzio, Stefano, et al.
Veröffentlicht: (2024)

Extensional concepts in intensional type theory, revisited
von: Kapulkin, Chris, et al.
Veröffentlicht: (2023)

Algebraic Type Theory, Part 1: Martin-Löf algebras
von: Awodey, Steve
Veröffentlicht: (2025)