~~NOCACHE~~
/* DO NOT EDIT THIS FILE             */

[[en:seminaires:hott:index|Type theory and homotopy theory]]\\
Friday November 8, 2024, 2PM, Salle 1013\\
**Sylvain Douteau**  //Remarques sur le modèle simplicial de l’univalence, d’après Kapulkin-Lumsdaine-Voevodsky (II)//
\\


[[en:seminaires:hott:index|Type theory and homotopy theory]]\\
Friday October 11, 2024, 2PM, Salle 1013\\
**François Métayer**  //Remarques sur le modèle simplicial de l’univalence, d’après Kapulkin-Lumsdaine-Voevodsky (I)//
<button type="link" size="xs" collapse="b33-4640">{{icon>info-circle?lg&color=#777}}</button>\\
<collapse id="b33-4640" collapsed="true">
<well size="sm">
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.
</well>
</collapse>


[[en:seminaires:hott:index|Type theory and homotopy theory]]\\
Friday May 24, 2024, 3:30PM, Salle 3052\\
**Sarah Reboullet**  //Cubical type theory and its model//
\\


[[en:seminaires:hott:index|Type theory and homotopy theory]]\\
Friday March 29, 2024, 3:30PM, Salle 3052\\
**Moana Jubert**  //Sémantique de la théorie homotopique des types//
\\


[[en:seminaires:hott:index|Type theory and homotopy theory]]\\
Friday March 15, 2024, 3:30PM, Salle 3052\\
**Vincent Moreau**  //The simplicial model: a univalent, weakly universal fibration//
\\


[[en:seminaires:hott:index|Type theory and homotopy theory]]\\
Friday March 1, 2024, 3:30PM, Salle 3052\\
**Sylvain Douteau**  //Homotopy theory of simplicial sets//
\\


[[en:seminaires:hott:index|Type theory and homotopy theory]]\\
Friday February 2, 2024, 3:30PM, Salle 3052\\
**Sylvain Douteau**  //Intuitions topologiques sur les homotopies//
\\


[[en:seminaires:hott:index|Type theory and homotopy theory]]\\
Friday January 19, 2024, 3:30PM, Salle 3052\\
**Vincent Moreau**  //How to code mathematics in type theory, using Agda//
\\