Logo

Mathematical Sciences Research Institute

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

Seminar

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 (University of Western Ontario)
Description No Description
Video
No Video Uploaded
Abstract/Media

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