Buchumschlag

The elementary theory of the 2-category of small categories

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Hughes, Calum, Miranda, Adrian
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Category Theory Logic 03B30, 03E30, 03G30, 18A15, 18B05, 18B25, 18B50, 18D40, 18N10
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The algebraic internal groupoid model of Martin-Löf type theory
von: Hughes, Calum
Veröffentlicht: (2025)

Logic and Concepts in the 2-category of Topoi
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2025)

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

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

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

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)

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

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

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

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

The List Object Endofunctor is Polynomial
von: Desrochers, Samuel
Veröffentlicht: (2025)

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

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

The cohomology objects of a semi-abelian variety are small
von: Mattenet, Sébastien, et al.
Veröffentlicht: (2024)

The free bifibration on a functor
von: Clarke, Bryce, et al.
Veröffentlicht: (2025)

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

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

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

Topoi with enough points
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2024)

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

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

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)

Sketches and Classifying Logoi
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2024)

Injectivity paucity in AB5 categories of oversize chains
von: Chirvasitu, Alexandru
Veröffentlicht: (2026)

Gödel coding on fibrations and geminal categories
von: Ikeda, Yuto
Veröffentlicht: (2026)

$(\infty,1)$-Categorical Comprehension Schemes
von: Stenzel, Raffael
Veröffentlicht: (2020)

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

Internal sums for synthetic fibered $(\infty,1)$-categories
von: Weinberger, Jonathan
Veröffentlicht: (2022)

Pointwise Kan extensions along 2-fibrations and the 2-category of elements
von: Mesiti, Luca
Veröffentlicht: (2023)

Connectedness through decidable quotients
von: Hernández, Enrique Ruiz, et al.
Veröffentlicht: (2023)

Logical Aspects of Virtual Double Categories
von: Nasu, Hayato
Veröffentlicht: (2025)

Free Doubly-Infinitary Distributive Categories are Cartesian Closed
von: Nunes, Fernando Lucatelli, et al.
Veröffentlicht: (2024)

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

Coherence for logicians
von: Petric, Zoran, et al.
Veröffentlicht: (2024)

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

A minimalist two-level foundation for constructive mathematics
von: Maietti, Maria Emilia
Veröffentlicht: (2008)

The representing localic groupoid for a geometric theory
von: Manuell, Graham, et al.
Veröffentlicht: (2023)

Formalizing colimits in Cat
von: Carneiro, Mario, et al.
Veröffentlicht: (2025)