Salle 5, Site Marcelin Berthelot
En libre accès, dans la limite des places disponibles
-

Plan du cours :

  • opération de débouclage des groupes ;
  • un exemple paradigmatique de définition de types qui ne sont pas des ensembles, les espaces d’Eilenberg-MacLane ; 
  • utilisation de ces types pour définir les groupes de cohomologie.

Intervenant(s)

Événements

Voir aussi

Thierry Coquand, chaire Informatique et sciences numériques
Théorie des types dépendants et formalisation des mathématiques