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: SLMath: Online/Virtual
Speaker(s) Chris Kapulkin (University of Western Ontario)
Description No Description
Keywords and Mathematics Subject Classification (MSC)
Primary Mathematics Subject Classification No Primary AMS MSC
Secondary Mathematics Subject Classification No Secondary AMS MSC
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