Fibrations of $\infty$-categories

zbMath1440.18003arXiv1702.02681MaRDI QIDQ5217591

John Francis, David Ayala

Publication date: 24 February 2020

Full work available at URL: https://arxiv.org/abs/1702.02681

zbMATH Keywords

correspondencesinfinity categoriesSegal spacesfinal functorsinitial functorsCartesian and coCartesian fibrationsexponentiable fibrations

Mathematics Subject Classification ID

Abstract and axiomatic homotopy theory in algebraic topology (55U35) Special properties of functors (faithful, full, etc.) (18A22) Homotopy functors in algebraic topology (55P65)

Related Items (23)

On the construction of limits and colimits in $\infty$-categories ⋮ Yoneda lemma for enriched \(\infty\)-categories ⋮ A simplicial category for higher correspondences ⋮ Marked colimits and higher cofinality ⋮ On straightening for Segal spaces ⋮ The reductive Borel-Serre compactification as a model for unstable algebraic K-theory ⋮ \(\infty\)-operads as symmetric monoidal \(\infty\)-categories ⋮ Two-variable fibrations, factorisation systems and -categories of spans ⋮ Lax monoidal adjunctions, two‐variable fibrations and the calculus of mates ⋮ An equivalence between enriched \(\infty \)-categories and \(\infty \)-categories with weak action ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A type theory for synthetic $\infty$-categories ⋮ Stratified noncommutative geometry ⋮ A stratified homotopy hypothesis ⋮ Natural symmetries of secondary Hochschild homology ⋮ On the unicity of the theory of higher categories ⋮ Indexed type theories ⋮ An additivity theorem for cobordism categories ⋮ Quasi-categories vs. Segal spaces: Cartesian edition ⋮ Flagged higher categories ⋮ Hermitian K-theory for stable \(\infty\)-categories. I: Foundations ⋮ A bivariant Yoneda lemma and \((\infty, 2)\)-categories of correspondences

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Spectral Mackey functors and equivariant algebraic \(K\)-theory. I.
• Local structures on stratified spaces
• Factorization homology of stratified spaces
• Fibrations in \(\infty\)-category theory
• Factorization homology. I: Higher categories
• Iterated spans and classical topological field theories
• Lax colimits and free fibrations in \(\infty\)-categories
• Poincaré/Koszul duality
• A stratified homotopy hypothesis
• Quasi-categories and Kan complexes
• On the Grothendieck construction for \(\infty\)-categories
• Left fibrations and homotopy colimits
• Factorization homology of topological manifolds
• On exact -categories and the Theorem of the Heart
• Higher algebraic K-theory: I
• A model for the homotopy theory of homotopy theory
• A user's guide to co/cartesian fibrations
• Flagged higher categories
• Higher Topos Theory (AM-170)

This page was built for publication: Fibrations of $\infty$-categories