Home /  Seminar /  Schedules /  Online Seminar: Homotopy type theory and internal languages of higher categories

Manage Videos/Supplements

Online Seminar: Homotopy type theory and internal languages of higher categories 18-May-2020 10:00 AM PDT - 18-May-2020 11:30 AM PDT

May 18, 2020 (10:00 AM PDT - 11:30 AM PDT)
Video

Homotopy Type Theory And Internal Languages Of Higher Categories
Supplements No Notes/Supplements Uploaded
Video/Audio Files

Homotopy Type Theory And Internal Languages Of Higher Categories

H.264 Video 25065_28460_8352_Homotopy_Type_Theory_and_Internal_Languages_of_Higher_Categories.mp4 1.51 GB video/mp4 Open
Troubles with video?

Please report video problems to [email protected].

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