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)

Voir aussi

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

Événements

Précédent

Suivant