A user's guide to co/Cartesian fibrations

MaRDI QIDQ5044309zbMATH OpenFDO

Authors Aaron Mazel-Gee

Publication date 25 October 2022

Full work available at URL https://arxiv.org/abs/1510.02402, https://gradmath.org/2020/10/05/a-users-guide-to-co-cartesian-fibrations/

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01) Fibered categories (18D30) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Abstract: We formulate a model-independent theory of co/cartesian morphisms and co/cartesian fibrations: that is, one which resides entirely *within the $infty$-category of $infty$-categories*. We prove this is suitably compatible with the corresponding quasicategorical (and in particular, model-dependent) notions studied by Joyal and Lurie.

Recommendations

• Fibrations and Yoneda's lemma in an \(\infty\)-cosmos
• Dualizing cartesian and cocartesian fibrations
• 2-Cartesian fibrations. I: A model for \(\infty\)-bicategories fibred in \(\infty\)-bicategories
• Fibrations in \(\infty\)-category theory
• Cartesian fibrations and representability

Cites work

• Higher Topos Theory (AM-170)
• scientific article; zbMATH DE number 1860105 (Why is no real title available?)
• On the Grothendieck construction for \(\infty\)-categories

Cited in

(16)

• Fibrations in \(\infty\)-category theory
• On the Grothendieck construction for \(\infty\)-categories
• Quasi-categories vs. Segal spaces: Cartesian edition
• Noncommutative differential \(K\)-theory
• 2-Cartesian fibrations. I: A model for \(\infty\)-bicategories fibred in \(\infty\)-bicategories
• A bivariant Yoneda lemma and \((\infty, 2)\)-categories of correspondences
• Cartesian fibrations and representability
• Marked colimits and higher cofinality
• Dualizing cartesian and cocartesian fibrations
• Cartesian factorization systems and pointed Cartesian fibrations of \(\infty\)-categories
• Fibrations of -categories
• Locally (co)Cartesian fibrations as realisation fibrations and the classifying space of cospans
• Cartesian fibrations of complete Segal spaces
• Synthetic fibered (,1)-category theory
• Cartesian exponentiation and monadicity
• Cartesian fibrations of \(( \infty,2)\)-categories

This page was built for publication: A user's guide to co/Cartesian fibrations

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