Mathematical Sciences Research Institute

Home » Cubical Sets (Part 2): Cubical models of (∞,1)-categories


Cubical Sets (Part 2): Cubical models of (∞,1)-categories May 13, 2020 (02:00 PM PDT - 03:00 PM PDT)
Parent Program:
Location: MSRI: Online/Virtual
Speaker(s) Brandon Doherty (Stockholm University)
Description No Description
No Video Uploaded

We discuss the construction of a new model structure on the category of cubical sets with connections whose cofibrations are the monomorphisms and whose fibrant objects are defined by the right lifting property with respect to inner open boxes, the cubical analogue of inner horns. We also discuss the proof that this model structure is Quillen equivalent to the Joyal model structure on simplicial sets via the triangulation functor. This talk is based on joint work with Chris Kapulkin, Zachery Lindsey, and Christian Sattler.

No Notes/Supplements Uploaded No Video Files Uploaded