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

2-Cartesian fibration infinity bicategory model structure scaled simplicial set

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

i n f t y

-bicategories fibred in

i n f t y

-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

i n f t y

-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

i n f t y

-bicategory. This characterization then allows us to identify those 2-Cartesian fibrations arising as the coherent nerve of a fibration of

o p e r a t o r n a m e {S e t}_{D e l t a}^{+}

-enriched categories, thus showing that our definition recovers the preexisting notions of fibred 2-categories.

Review text

The construction of a fibered category from a functor is one of the most influential notions in the development of higher category theory. Right/left fibrations, (co)Cartesian fibrations, and the associated Grothendieck constructions have become integral parts of the $\infty$-categorical toolbox. This paper is the first of a duology defining and developing a notion of $2$\textit{-Cartesian fibration} by use of the language of simplicial sets rigged out in a marking and two scalings. The existence of a model structure whose fibrant objects are precisely these $2$-Cartesian fibrations is established. The second paper is devoted to developing the corresponding Grothendieck construction and establishing the full $(\infty,2)$-categorical version of the results in [\textit{F. Abellán García} and \textit{W. H. Stern}, J. Pure Appl. Algebra 226, No. 9, Article ID 107040, 43 p. (2022; Zbl 1495.18026); \textit{F. Abellán García}, Homotopy Relat. Struct. 17, 1--22 (2022; Zbl 1505.18030)]. In the same vein of this paper, the authors of [\textit{A. Gagna} et al., ``Fibrations of $(\infty,2)$-categories, Preprint, \url{arXiv:2107.12356}] define notions of $(\infty,2)$-categorical fibrations over scaled simplicial sets modelling all possible variances of $2$-dimensional fibrations, though they do not give the corresponding model structures for these kinds of fibrations. The synopsis of the paper goes as follows. \begin{itemize} \item[\S 2] briefly introduces some notational conventions, recapitulating the generating scaled anodyne morphisms of [\textit{J. Lurie}, ``(Infinity,2)-categories and the Goodwillie calculus. I, Preprint, \url{arXiv:0905.0462}]. \item[\S 3] is devoted entirely to the proof that the desired $2$-Cartesian model structure exists. The proof has two lengthy technical components. \S 3.1 defines the chosen class of anodyne morphisms, the $\boldsymbol{MB}$-anodyne morphisms, establishing that they abides by a pushout-product axiom, while \S 3.2 provides a fiberwise characterization of the putative equivalence, deducing the existence of the model structure. \item[\S 4] is devoted to providing a clear characterization of the fibrant objects over an $\infty$-bicategory, which distinguishes the connection between the $2$-Cartesian fibrations, the $\mathsf{Set}_{\Delta}^{+}$-enriched fibrations of [\textit{A. Gagna} et al., ``Fibrations and lax limits of $(\infty,2)$-categories, Preprint, \url{arXiv:2012.04537}] and the $2$-fibrations of [\textit{M. Buckley}, J. Pure Appl. Algebra 218, No. 6, 1034--1074 (2014; Zbl 1296.18006)]. \end{itemize}

Recommendations

Cites work

Cited in

(14)

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)