Mathematical Sciences Research Institute

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


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

Cubical Models Of (,1)-Categories


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.

Asset no preview Notes 285 KB application/pdf

Cubical Models Of (,1)-Categories

H.264 Video 25036_28425_8347_Cubical_Models_of_(_1)-Categories.mp4