Logo

Mathematical Sciences Research Institute

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

Seminar

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
Video
No Video Uploaded
Abstract/Media

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