Logo

Mathematical Sciences Research Institute

Home » Cubical Sets (Part 1): Homotopy coherent nerve and straightening, cubically

Seminar

Cubical Sets (Part 1): Homotopy coherent nerve and straightening, cubically May 11, 2020 (01:00 PM PDT - 02:00 PM PDT)
Parent Program:
Location: MSRI: Online/Virtual
Speaker(s) Chris Kapulkin (University of Western Ontario)
Description No Description
Video

Homotopy Coherent Nerve And Straightening, Cubically

Abstract/Media

The main focus of this 2-part special is to show how two important constructions of higher category theory, namely the homotopy coherent nerve and the (un)straightening adjunction, are most naturally seen as cubical-to-simplicial. To this end, I will define the homotopy coherent nerve functor to be taking a *cubical* category to a simplicial set and will rephrase the (un)straightening adjunction accordingly. I will then show that the straightening-over-the-point functor is a co-reflective embedding of the category of simplicial sets into the category of cubical sets.



This talk is based on:

K, Voevodsky, "A cubical approach to straightening", preprint, 2018.

K, Lindsey, Wong, "A co-reflection of cubical sets into simplicial

sets with applications to model structures", New York Journal of

Mathematics 25 (2019).

 

Asset no preview Notes 5.93 MB application/pdf

Homotopy Coherent Nerve And Straightening, Cubically

H.264 Video 25035_28424_8342_Homotopy_Coherent_Nerve_and_Straightening__Cubically.mp4