Comparing lax functors of $(\infty,2)$-categories (2311.12746v1)

Abstract: In this work, we study oplax normalised functors of $(\infty,2)$-categories. Our main theorem is a comparison between the notion of oplax normalised functor of scaled simplicial sets due to Gagna-Harpaz-Lanari and the corresponding notion in the setting of complete Segal objects in $(\infty,1)$-categories studied by Gaitsgory and Rozenblyum. As a corollary, we derive that the Gray tensor product of $(\infty,2)$-categories as defined by Gaitsgory-Rozenblyum is equivalent to that of Gagna-Harpaz-Lanari. Moreover, we construct an $(\infty,2)$-categorical variant of the quintet functor of Ehresmann, from the $(\infty,2)$-category of $(\infty,2)$-categories to the $(\infty,2)$-category of double $(\infty,1)$-categories and show that it is fully faithful. As a key technical ingredient, given $(\mathbb{C},E)$ an $(\infty,2)$-category equipped with a collection of morphisms and a functor of $(\infty,2)$-categories $f:\mathbb{C}\to \mathbb{D}$, we construct a right adjoint to the restriction functor $f^*$ from the $(\infty,2)$-category of functors $\mathbb{D} \to \mathbb{C}!\operatorname{at}{(\infty,2)}$ and natural transformations to the $(\infty,2)$-category of functors $\mathbb{C} \to \mathbb{C}!\operatorname{at}{(\infty,2)}$ and partially lax (according to $E$) natural transformations. We apply this new technology of partially lax Kan extensions to the study of complete Segal objects in $(\infty,1)$-categories and double $(\infty,1)$-categories which allows us to define the notion of an enhanced Segal object (resp. enhanced double $(\infty,1)$-category), the former yielding yet another model for the theory of $(\infty,2)$-categories.