10:00 à 11:00
Cours

Espaces d’Eilenberg-MacLane et cohomologie

Thierry Coquand
Théorie des types dépendants et formalisation des mathématiques
10:00 à 11:00
    Amphithéâtre Mireille Delmas-Marty (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.

    Documents et médias

    Intervenant(s)

    Thierry Coquand

    Professeur en informatique, Université de Göteborg, Suède

    Événements

    La théorie des types, de Russell à de Bruijn
    Thierry Coquand

    Cours
    10:00 à 11:00

    Déduction naturelle et modèles
    Thierry Coquand

    Cours
    10:00 à 11:00

    Univers, paradoxes et normalisation
    Thierry Coquand

    Cours
    10:00 à 11:00

    Théorie des types et théorie des ensembles
    Thierry Coquand

    Cours
    10:00 à 11:30

    Le mystère de l’égalité ; la notion de type comme généralisation de la notio…
    Thierry Coquand

    Cours
    10:00 à 11:00

    Modèles de la théorie des types et du principe d’univalence
    Thierry Coquand

    Cours
    10:00 à 11:00

    Espaces d’Eilenberg-MacLane et cohomologie
    Thierry Coquand

    Cours
    10:00 à 11:00

    Modalités et modèles de la théorie des types
    Thierry Coquand

    Cours
    10:00 à 11:00

    Voir aussi

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