Cartesian exponentiation and monadicity

MaRDI QIDQ6593552FDOQ6593552

Authors: Emily Riehl, Dominic Verity 

Publication date: 26 August 2024

Published in: Cahiers de Topologie et Géométrie Différentielle Catégoriques (Search for Journal in Brave)

Recommendations

• A user's guide to co/Cartesian fibrations
• Dualizing cartesian and cocartesian fibrations
• Cartesian fibrations and representability
• Fibrations and Yoneda's lemma in an \(\infty\)-cosmos
• The comprehension construction

zbMATH Keywords

infinity categoryCartesian fibrationmonadic adjunctionoplax colimit

Mathematics Subject Classification ID

Simplicial sets and complexes in algebraic topology (55U10) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Topological categories, foundations of homotopy theory (55U40) Enriched categories (over closed or monoidal categories) (18D20) ((infty,1))-categories (quasi-categories, Segal spaces, etc.); (infty)-topoi, stable (infty)-categories (18N60) Categories of fibrations, relations to (K)-theory, relations to type theory (18N45)

This page was built for publication: Cartesian exponentiation and monadicity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6593552)