Cartesian exponentiation and monadicity

MaRDI QIDQ6593552FDO

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)

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)

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

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)