2-Cartesian fibrations. I: A model for \(\infty\)-bicategories fibred in \(\infty\)-bicategories (Q2105682)

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}