Contextual Categories
Date of publication: 18. 5. 2021
Mathematics and theoretical computing seminar
Thursday
20
May
Time:
15:00 - 18:00
Location:
Spletni seminar
ID: 92936969653
We will meet to review some past and recent work on contextual categories and their recently developed variations, known as B- C- and E-systems. There will be five speakers. The program with provisional titles is as follows (times are relative to Slovenia, UTC+2):
15:00 - 15:55 John Cartmell: Contextual categories
16:00 - 16:25 Benedikt Ahrens: Voevodsky's work on C- and B-systems
16:30 - 16:55 Paige North: B- and E-systems
17:00 - 17:25 Egbert Rijke: A formalized coinductive definition of B-systems
17:30 - 17:55 Jacopo Emmenegger: Equivalence of C- and B-systems
