BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
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 (∞,2)-categories. We do this by showing that Verity's model of saturated 2-trivial complicial sets is equivalent to Lurie's model of ∞-bicategories, which, in turn, has been shown to be equivalent to all other known models for (∞,2)-categories. A key technical input is given by identifying the notion of ∞-bicategories with that of weak ∞-bicategories, a step which allows us to understand Lurie's model structure in terms of Cisinski--Olschok's theory. This description of ∞-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 ∞-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.
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.