Seminar
| Parent Program: | |
|---|---|
| Location: | SLMath: Online/Virtual |
Keywords and Mathematics Subject Classification (MSC)
Primary Mathematics Subject Classification
No Primary AMS MSC
Secondary Mathematics Subject Classification
No Secondary AMS MSC
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.
 |
Notes
|
Cubical Models Of (,1)-Categories
| H.264 Video | 25036_28425_8347_Cubical_Models_of_(_1)-Categories.mp4 |