Contextual Categories

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