BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Andrea Gagna appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We prove that a (lax) bilimit of a 2-functor is characterized by the existence of a limiting contraction in the 2-category of (lax) cones over the diagram. We also investigate the notion of bifinal object and prove that a (lax) bilimit is a limiting bifinal object in the category of cones. Everything is developed in the context of marked 2-categories, so that the machinery can be applied to different levels of laxity, including pseudo-limits.
The goal of this paper is to provide the last equivalence needed in order to identify all known models for $(\infty,2)$-categories. We do this by showing that Verity's model of saturated $2$-trivial complicial sets is equivalent to Lurie's model of $\infty$-bicategories, which, in turn, has been shown to be equivalent to all other known models for $(\infty,2)$-categories. A key technical input is given by identifying the notion of $\infty$-bicategories with that of weak $\infty$-bicategories, a step which allows us to understand Lurie's model structure in terms of Cisinski--Olschok's theory. This description of $\infty$-bicategories, which may be of independent interest, is proved using tools coming from a new theory of outer (co)cartesian fibrations, further developed in a companion paper. In the last part of the paper we construct a homotopically fully faithful scaled simplicial nerve functor for $2$-categories, we give two equivalent descriptions of it, and we show that the homotopy $2$-category of an $\infty$-bicategory retains enough information to detect thin $2$-simplices.
We give a definition of the Gray tensor product in the setting of scaled simplicial sets which is associative and forms a left Quillen bifunctor with respect to the bicategorical model category of Lurie. We then introduce a notion of oplax functor in this setting, and use it in order to characterize the Gray tensor product by means of a universal property. A similar characterization was used by Gaitsgory and Rozenblyum in their definition of the Gray product, thus giving a promising lead for comparing the two settings.
We introduce a notion of normalised oplax $3$-functor suitable for the elementary homotopy theory of strict $3$-categories, following the combinatorics of orientals. We show that any such morphism induces a morphism of simplicial sets between the Street nerves and we characterise those morphisms of simplicial sets coming from normalised oplax $3$-functors. This allows us to prove that normalised oplax $3$-functors compose. Finally we construct a strictification for normalised oplax $3$-functors whose source is a $1$-category without split-monos or split-epis.