2-Cartesian fibrations. I: A model for -bicategories fibred in -bicategories

DOI10.1007/S10485-022-09693-XMaRDI QIDQ2105682zbMATH OpenOpenAlexFDO

Authors 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

zbMATH Keywords

2-Cartesian fibrationinfinity bicategorymodel structurescaled simplicial set

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) 2-categories, bicategories, double categories (18N10) Homotopical algebra, Quillen model categories, derivators (18N40) Categories of fibrations, relations to (K)-theory, relations to type theory (18N45) ((infty, n))-categories and ((infty,infty))-categories (18N65)

Abstract: In this paper, we provide a notion of $infty$-bicategories fibred in $infty$-bicategories which we call 2-Cartesian fibrations. Our definition is formulated using the language of marked biscaled simplicial sets: Those are scaled simplicial sets equipped with an additional collection of triangles containing the scaled 2-simplices, which we call lean triangles, in addition to a collection of edges containing all degenerate 1-simplices. We prove the existence of a left proper combinatorial simplicial model category whose fibrant objects are precisely the 2-Cartesian fibrations over a chosen scaled simplicial set $S$. Over the terminal scaled simplicial set, this provides a new model structure modeling $infty$-bicategories, which we show is Quillen equivalent to Lurie's scaled simplicial set model. We conclude by providing a characterization of 2-Cartesian fibrations over an $infty$-bicategory. This characterization then allows us to identify those 2-Cartesian fibrations arising as the coherent nerve of a fibration of $operatorname{Set}_{Delta}^{+}$-enriched categories, thus showing that our definition recovers the preexisting notions of fibred 2-categories.

Recommendations

• On the equivalence of all models for (∞,2)(\infty,2)‐categories
• Segal objects and the Grothendieck construction
• A user's guide to co/Cartesian fibrations
• Homotopies in Grothendieck fibrations
• Categorical notions of fibration

Cites work

• Fibred 2-categories and bicategories
• Gray tensor products and lax functors of \((\infty, 2)\)-categories
• Higher Topos Theory (AM-170)
• Homotopical algebra for Lie algebroids
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• Marked colimits and higher cofinality
• On the equivalence of all models for (∞,2)(\infty,2)‐categories
• Theorem A for marked 2-categories
• Weak complicial sets. I: Basic homotopy theory

Cited in

(14)

• Quasi-categories vs. Segal spaces: Cartesian edition
• Cartesian fibrations and representability
• On bifibrations of model categories
• Fibred 2-categories and bicategories
• Dualizing cartesian and cocartesian fibrations
• Cartesian factorization systems and pointed Cartesian fibrations of \(\infty\)-categories
• A user's guide to co/Cartesian fibrations
• Fibrations of -categories
• On the equivalence of all models for (∞,2)(\infty,2)‐categories
• A model structure for Grothendieck fibrations
• Cartesian fibrations of \(( \infty,2)\)-categories
• 2-Cartesian fibrations. II: A Grothendieck construction for -bicategories
• Straightening for lax transformations and adjunctions of (, 2)-categories
• On local fibrations of ( ,2)-categories

This page was built for publication: 2-Cartesian fibrations. I: A model for \(\infty\)-bicategories fibred in \(\infty\)-bicategories

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