Mini-workshop on the construction of ∞-categories
Monday 12 January (room 3052)
- 14h00-15h00 Jonathan Weinberger, Universes in simplicial type theory
- 15h30-16h15 Samuel Mimram, A type-theoretical definition of cartesian closed weak higher categories
-
16h30-17h15 Sophie d'Espalungue, Towards a formalisation of the hierarchy of the (very large) n+1-category of n-categories
Tuesday 13 January (room 3063)
- 9h30-10h15 Hugo Herbelin, Parametricity-based augmented semi-simplicial and semi-cubical sets in indexed form
- 10h30-11h15 Louise Leclerc, A type theory for cellular spaces
- 11h30-12h15 Eliès Harington, ∞-categorical semantics of linear logic
Video link for Jonathan Weinberger's talk
Video link (no password) for the other talks