Cover Image

2-classifiers via dense generators and Hofmann-Streicher universe in stacks

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Mesiti, Luca
Format:	Preprint
Published:	2024
Subjects:	Category Theory Logic 18B25, 18N10, 18F20, 18D30
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Indexed Grothendieck construction
by: Caviglia, Elena, et al.
Published: (2023)

Pointwise Kan extensions along 2-fibrations and the 2-category of elements
by: Mesiti, Luca
Published: (2023)

Colimits in 2-dimensional slices
by: Mesiti, Luca
Published: (2023)

Fibrational approach to Grandis exactness for 2-categories
by: Caviglia, Elena, et al.
Published: (2025)

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

The Grothendieck construction for delta lenses
by: Clarke, Bryce
Published: (2025)

From coextensive varieties to the Gaeta topos
by: Zuluaga, William
Published: (2022)

Toward the effective 2-topos
by: Awodey, Steve, et al.
Published: (2025)

Internal 1-topoi in 2-topoi
by: Helfer, Joseph
Published: (2024)

Lax functorialities of the comma construction for $ω$-categories
by: Ara, Dimitri, et al.
Published: (2025)

2-stacks over bisites
by: Caviglia, Elena
Published: (2024)

On effective descent $\mathcal V$-functors and familial descent morphisms
by: Prezado, Rui
Published: (2023)

Homodular pseudofunctors and bicategories of modules
by: Street, Ross
Published: (2026)

On Étale Algebras and Bosonic Fusion 2-Categories
by: Xu, Hao
Published: (2024)

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

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

Grothendieck's Geometric Universes and A Sheaf-Theoretic Foundation of Information Network
by: Inoué, Takao
Published: (2026)

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

Poset-enriched pretoposes and compact ordered spaces
by: Marquès, Jérémie, et al.
Published: (2025)

Presheaves and cocompletions in formal category theory
by: Arkor, Nathanael, et al.
Published: (2026)

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

$\mathsf{Q}\text{-}\mathbf{Set}$ is not generally a topos
by: Hu, Xiao, et al.
Published: (2025)

Finite Semisimple Module 2-Categories
by: Décoppet, Thibault D.
Published: (2021)

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

Gabriel-Ulmer duality for topoi and its relation with site presentations
by: Di Liberti, Ivan, et al.
Published: (2019)

Higher Witt Groups for 2-Categories I: Centralizers
by: Xu, Hao
Published: (2024)

Functors Preserving Effective Descent Morphisms
by: Nunes, Fernando Lucatelli, et al.
Published: (2024)

Principal 2-bundles and quotient 2-stacks
by: Caviglia, Elena
Published: (2024)

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

Virtual double categories of split two-sided 2-fibrations
by: Koudenburg, Seerp Roald
Published: (2026)

A comonad for Grothendieck fibrations
by: Emmenegger, Jacopo, et al.
Published: (2023)

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

Non-singular maps in toposes with a local state classifier
by: Menni, Matí as
Published: (2025)

On the Category-Theoretic Independence of Meaning, Object, Name and Existence
by: Inoué, Takao
Published: (2026)

Enhanced $2$-categories of models of sketches as enhanced $2$-categories of algebras over monads
by: Ko, Joanna
Published: (2026)

Fractured Structures in Condensed Mathematics
by: Rasekh, Nima, et al.
Published: (2026)

Monoidal bicategories, differential linear logic, and analytic functors
by: Fiore, M., et al.
Published: (2024)

Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation
by: Arkor, Nathanael, et al.
Published: (2024)

The oplax limit of an enriched category
by: Fujii, Soichiro, et al.
Published: (2022)

Yoneda lemma and representation theorem for double categories
by: Fröhlich, Benedikt, et al.
Published: (2024)