Home /  Seminar /  Schedules /  Cubical Sets (Part 1): The equivariant uniform Kan fibration model of cubical homotopy type theory

Upload Videos/Supplements

Cubical Sets (Part 1): The equivariant uniform Kan fibration model of cubical homotopy type theory 18-May-2020 01:00 PM PDT - 18-May-2020 03:00 PM PDT

May 18, 2020 (01:00 PM PDT - 03:00 PM PDT)
Video

The Equivariant Uniform Kan Fibration Model Of Cubical Homotopy Type Theory
Supplements
Asset no preview Notes 25.3 MB application/pdf Download
Video/Audio Files

The Equivariant Uniform Kan Fibration Model Of Cubical Homotopy Type Theory

H.264 Video 25038_28427_8353_The_Equivariant_Uniform_Kan_Fibration_Model_of_Cubical_Homotopy_Type_Theory.mp4
Download
Troubles with video?

Please report video problems to itsupport@slmath.org.

See more of our Streaming videos on our main VMath Videos page.