A comonad for Grothendieck fibrations

MaRDI QIDQ6499420

Jacopo Emmenegger, Thomas Streicher, Giuseppe Rosolini, Luca Mesiti

Publication date: 8 May 2024

Published in: Theory and Applications of Categories (Search for Journal in Brave)

zbMATH Keywords

Grothendieck fibrationlax idempotent monad

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) 2-categories, bicategories, double categories (18N10) Categories of fibrations, relations to (K)-theory, relations to type theory (18N45)

Cites Work

• A general coherence result
• Doctrines on 2-categories
• A representation result for free cocompletions
• Codescent objects and coherence
• Monads for which structures are adjoint to units
• The simplicial model of univalent foundations (after Voevodsky)
• Adjoint functors and triples
• Yoneda structures from 2-toposes
• 2-Dimensional Categories
• Polynomial functors and polynomial monads
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A comonad for Grothendieck fibrations