Mathematical Sciences Research Institute

Home » HC - (infinity,2)-categories Working Group: On the equivalence of all models for (oo,2)-categories


HC - (infinity,2)-categories Working Group: On the equivalence of all models for (oo,2)-categories February 18, 2020 (10:00 AM PST - 11:00 AM PST)
Parent Program:
Location: MSRI: Simons Auditorium
Speaker(s) Edoardo Lanari (Czech Academy of Sciences (AVCR))
Description No Description
No Video Uploaded

The goal of this talk 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. If time permits, I will outline a construction of a homotopically fully faithful scaled simplicial nerve functor for 2-categories, give two equivalent descriptions of it, and show that the homotopy 2-category of an ∞-bicategory retains enough information to detect thin 2-simplices.

No Notes/Supplements Uploaded No Video Files Uploaded