2-Cartesian fibrations. I: A model for \(\infty\)-bicategories fibred in \(\infty\)-bicategories
DOI10.1007/S10485-022-09693-XzbMath1504.18020arXiv2106.03606OpenAlexW3167260823MaRDI QIDQ2105682
Fernando Abellán García, Walker H. Stern
Publication date: 8 December 2022
Published in: Applied Categorical Structures (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2106.03606
Theories (e.g., algebraic theories), structure, and semantics (18C10) Homotopical algebra, Quillen model categories, derivators (18N40) 2-categories, bicategories, double categories (18N10) Categories of fibrations, relations to (K)-theory, relations to type theory (18N45) ((infty, n))-categories and ((infty,infty))-categories (18N65)
Cites Work
- Unnamed Item
- Fibred 2-categories and bicategories
- Weak complicial sets. I: Basic homotopy theory
- Theorem A for marked 2-categories
- Gray tensor products and lax functors of \((\infty, 2)\)-categories
- Homotopical algebra for Lie algebroids
- Marked colimits and higher cofinality
- Higher Topos Theory (AM-170)
- On the equivalence of all models for (∞,2)$(\infty,2)$‐categories
This page was built for publication: 2-Cartesian fibrations. I: A model for \(\infty\)-bicategories fibred in \(\infty\)-bicategories