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.
For each n≥−1, a quasi-category is said to be n-truncated if its hom-spaces are (n−1)-types. In this paper we study the model structure for n-truncated quasi-categories, which we prove can be constructed as the Bousfield localisation of Joyal's model structure for quasi-categories with respect to the boundary inclusion of the (n+2)-simplex. Furthermore, we prove the expected Quillen equivalences between categories and 1-truncated quasi-categories and between n-truncated quasi-categories and Rezk's (n,1)-Θ-spaces.
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.