Image de couverture de livre

A comonad for Grothendieck fibrations

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Emmenegger, Jacopo, Mesiti, Luca, Rosolini, Giuseppe, Streicher, Thomas
Format:	Preprint
Publié:	2023
Sujets:	Category Theory 18N45, 03G30, 18N10
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Kripke-Joyal forcing for type theory and uniform fibrations
par: Awodey, S., et autres
Publié: (2021)

Indexed Grothendieck construction
par: Caviglia, Elena, et autres
Publié: (2023)

Cartesian double theories: A double-categorical framework for categorical doctrines
par: Lambert, Michael, et autres
Publié: (2023)

Pointwise Kan extensions along 2-fibrations and the 2-category of elements
par: Mesiti, Luca
Publié: (2023)

Inner automorphisms as 2-cells
par: Hofstra, Pieter, et autres
Publié: (2024)

Colimits in 2-dimensional slices
par: Mesiti, Luca
Publié: (2023)

A 2-categorical analysis of context comprehension
par: Coraglia, Greta, et autres
Publié: (2024)

2-classifiers via dense generators and Hofmann-Streicher universe in stacks
par: Mesiti, Luca
Publié: (2024)

Fibrational approach to Grandis exactness for 2-categories
par: Caviglia, Elena, et autres
Publié: (2025)

Logical Aspects of Virtual Double Categories
par: Nasu, Hayato
Publié: (2025)

Internal 1-topoi in 2-topoi
par: Helfer, Joseph
Publié: (2024)

A model structure for Grothendieck fibrations
par: Moser, Lyne, et autres
Publié: (2023)

A short proof of the Frobenius property for generic fibrations
par: Barton, Reid
Publié: (2024)

Toward the effective 2-topos
par: Awodey, Steve, et autres
Publié: (2025)

Inner autoequivalences in general and those of monoidal categories in particular
par: Hofstra, Pieter, et autres
Publié: (2022)

The Grothendieck construction for delta lenses
par: Clarke, Bryce
Publié: (2025)

Virtual double categories of split two-sided 2-fibrations
par: Koudenburg, Seerp Roald
Publié: (2026)

Generalised ultracategories and conceptual completeness of geometric logic
par: Hamad, Ali
Publié: (2025)

A 2-categorical proof of Frobenius for fibrations defined from a generic point
par: Hazratpour, Sina, et autres
Publié: (2022)

Non-Standard Models of Homotopy Type Theory
par: Rasekh, Nima
Publié: (2025)

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

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

Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories
par: Weinberger, Jonathan
Publié: (2022)

Comonadic approach to pretorsion theories
par: Caviglia, Elena, et autres
Publié: (2026)

From Torsors to Topoi: An Introduction with a View Toward $Σ$-Protocols in Cryptography
par: Inoué, Takao
Publié: (2026)

Limits and colimits of synthetic $\infty$-categories
par: Martínez, César Bardomiano
Publié: (2022)

Double categories of profunctors
par: Kawase, Yuto
Publié: (2025)

$(\infty,1)$-Categorical Comprehension Schemes
par: Stenzel, Raffael
Publié: (2020)

Ultracategories as colax algebras for a pseudo-monad on CAT
par: Hamad, Ali
Publié: (2025)

The elementary theory of the 2-category of small categories
par: Hughes, Calum, et autres
Publié: (2024)

Cosmological Unstraightening
par: Rasekh, Nima
Publié: (2025)

Sites and Grothendieck toposes: an introduction
par: Caramello, Olivia, et autres
Publié: (2025)

Computads and string diagrams for $n$-sesquicategories
par: Araújo, Manuel
Publié: (2022)

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

String diagrams for $4$-categories and fibrations of mapping $4$-groupoids
par: Araújo, Manuel
Publié: (2020)

Gödel coding on fibrations and geminal categories
par: Ikeda, Yuto
Publié: (2026)

Familial Monads as Higher Category Theories
par: Shapiro, Brandon
Publié: (2021)

Generation of Grothendieck topologies, provability and operations on subtoposes
par: Caramello, Olivia, et autres
Publié: (2025)

Simplicial Perspectives on (Pseudo) Effect Algebras
par: Lachman, Dominik
Publié: (2025)

The free bifibration on a functor
par: Clarke, Bryce, et autres
Publié: (2025)