La théorie des types et la théorie de l'homotopie
Vendredi 8 novembre 2024, 14 heures, Salle 1013
Sylvain Douteau Remarques sur le modèle simplicial de l’univalence, d’après Kapulkin-Lumsdaine-Voevodsky (II)

La théorie des types et la théorie de l'homotopie
Vendredi 11 octobre 2024, 14 heures, Salle 1013
François Métayer Remarques sur le modèle simplicial de l’univalence, d’après Kapulkin-Lumsdaine-Voevodsky (I)

Dans ce premier exposé basé sur l’article « Univalence in simplicial sets » (https://arxiv.org/abs/1203.2553) je détaillerai la notion de « fibration universelle » qui en est l’ingrédient essentiel. J’examinerai en parallèle ce que devient une telle construction lorsqu’on remplace les ensembles simpliciaux par le cadre beaucoup plus simple des ensembles tout court.

La théorie des types et la théorie de l'homotopie
Vendredi 24 mai 2024, 15 heures 30, Salle 3052
Sarah Reboullet Cubical type theory and its model

La théorie des types et la théorie de l'homotopie
Vendredi 29 mars 2024, 15 heures 30, Salle 3052
Moana Jubert Sémantique de la théorie homotopique des types

La théorie des types et la théorie de l'homotopie
Vendredi 15 mars 2024, 15 heures 30, Salle 3052
Vincent Moreau The simplicial model: a univalent, weakly universal fibration

La théorie des types et la théorie de l'homotopie
Vendredi 1 mars 2024, 15 heures 30, Salle 3052
Sylvain Douteau Homotopy theory of simplicial sets

La théorie des types et la théorie de l'homotopie
Vendredi 2 février 2024, 15 heures 30, Salle 3052
Sylvain Douteau Intuitions topologiques sur les homotopies

La théorie des types et la théorie de l'homotopie
Vendredi 19 janvier 2024, 15 heures 30, Salle 3052
Vincent Moreau How to code mathematics in type theory, using Agda