Buchumschlag

Internal 1-topoi in 2-topoi

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Helfer, Joseph
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Category Theory Logic 18B25 (Primary) 03G30, 18N10, 18N25 (Secondary)
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

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

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

Toward the effective 2-topos
von: Awodey, Steve, et al.
Veröffentlicht: (2025)

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

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

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

Logical Structure on Inverse Functor Categories
von: Fiore, Marcelo, et al.
Veröffentlicht: (2024)

2-classifiers via dense generators and Hofmann-Streicher universe in stacks
von: Mesiti, Luca
Veröffentlicht: (2024)

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

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

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

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

A category of arrow algebras for modified realizability
von: Tarantino, Umberto
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)

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

Gabriel-Ulmer duality for topoi and its relation with site presentations
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2019)

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

The Adjoint Representation of a Higher Lie Groupoid
von: Trentinaglia, Giorgio
Veröffentlicht: (2023)

The Grothendieck construction for delta lenses
von: Clarke, Bryce
Veröffentlicht: (2025)

Finite Semisimple Module 2-Categories
von: Décoppet, Thibault D.
Veröffentlicht: (2021)

A comonad for Grothendieck fibrations
von: Emmenegger, Jacopo, et al.
Veröffentlicht: (2023)

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

Frobenius Algebras and Dual Bimodules in Monoidal 2-Categories
von: Xu, Hao
Veröffentlicht: (2026)

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

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

Manifestly unitary higher Hilbert spaces
von: Chen, Quan, et al.
Veröffentlicht: (2024)

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)

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

Profunctorial algebras
von: Aristote, Quentin, et al.
Veröffentlicht: (2026)

A 2-categorical analysis of context comprehension
von: Coraglia, Greta, et al.
Veröffentlicht: (2024)

Grothendieck's Geometric Universes and A Sheaf-Theoretic Foundation of Information Network
von: Inoué, Takao
Veröffentlicht: (2026)

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

Indexed Grothendieck construction
von: Caviglia, Elena, et al.
Veröffentlicht: (2023)

Cartesian double theories: A double-categorical framework for categorical doctrines
von: Lambert, Michael, et al.
Veröffentlicht: (2023)

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

Higher Witt Groups for 2-Categories I: Centralizers
von: Xu, Hao
Veröffentlicht: (2024)

Generalised ultracategories and conceptual completeness of geometric logic
von: Hamad, Ali
Veröffentlicht: (2025)