Virtual Workshop on Higher Topos Theory

External homepage


Universidad del Norte, Barranquilla, Colombia

Audience: General audience
Conference dates: 20-Nov-2020 to 21-Nov-2020
Organizers: Georg Biedermann*, Andres Angel
*contact for this listing

2-day workshop on Higher Topos Theory with introductory talks by Andre Joyal (Higher Topos Theory), Eric Finster (Homotopy Type Theory) and Wilson Forero (Decomposition spaces).

Please, visit the homepage for registration.

Upcoming talks
Past talks
Your timeSpeakerTitle
SatNov 2121:30Wilson ForeroIntroduction to Decomposition Spaces II
SatNov 2120:15Eric FinsterThe generalized Blakers-Massey Theorem
SatNov 2119:00Andre JoyalIntroduction to Higher Topos Theory II
FriNov 2021:30Wilson ForeroIntroduction to Decomposition Spaces I
FriNov 2020:15Eric FinsterIntroduction to Homotopy Type Theory
FriNov 2019:00Andre JoyalIntroduction to Higher Topos Theory I
Embed this schedule
Export series to