Groupe de travail « Théorie homotopique des types »
Le groupe de travail a lieu tous les mardi de 10h à 12h en salle 212 du bâtiment TPR2 à Luminy.
Prochaine séance
Jeudi 9 juillet à 11h00 : Ensembles simpliciaux X (Dimitri Ara)
Calendrier
- 20 janvier : Ensembles simpliciaux I (Dimitri Ara)
- 27 janvier : Ensembles simpliciaux II (Dimitri Ara)
- 10 février : Interprétation dans les catégories localement cartésiennes fermées I (Lionel Vaux)
- 17 février : Interprétation dans les catégories localement cartésiennes fermées II (Lionel Vaux)
- 10 mars : Ensembles simpliciaux III (Dimitri Ara)
- 17 mars : Ensembles simpliciaux IV (Dimitri Ara)
- 31 mars : Interprétation dans les catégories localement cartésiennes fermées III (Lionel Vaux)
- 7 avril : Interprétation dans les catégories localement cartésiennes fermées IV (Lionel Vaux)
- 14 avril : Interprétation dans les catégories localement cartésiennes fermées V (Lionel Vaux)
- 21 avril : Ensembles simpliciaux V (Dimitri Ara)
- 28 avril : Vacances
- 5 mai : Vacances
- 13 mai : Ensembles simpliciaux VI (Dimitri Ara)
- 19 mai : Ensembles simpliciaux VII (Dimitri Ara)
- 29 mai : Ensembles simpliciaux VIII (Dimitri Ara)
- 1er juin : Le modèle des groupoïdes I (Fabio Pasquali)
- 16 juin : Le modèle des groupoïdes II (Fabio Pasquali)
- 30 juin : Ensembles simpliciaux IX (Dimitri Ara)
- 9 juillet : Ensembles simpliciaux X (Dimitri Ara)
Références
- Pierre Clairambault, Peter Dybjer, The biequivalence of locally cartesian closed categories and Martin-Löf type theories (pdf)
- Greg Friedman, An elementary illustrated introduction to simplicial sets, (arxiv)
- Martin Hofmann, Syntax and semantics of dependent types in semantics and logics of computation, (pdf)
- André Joyal, Myles Tierney, Notes on simplicial homotopy theory, (pdf)
- Chris Kapulkin, Peter LeFanu Lumsdaine, Vladimir Voevodsky, Univalence in Simplicial Sets, (arxiv)
- Samuel Mimram, Decidability of equality in categories with families, (pdf)
- The Univalent Foundations Program, Homotopy Type Theory, (website)