00:00:00 / 00:00:00

Apparaît dans la collection : Logic and higher structures / Logique et structures supérieures

The goal of my lectures is to show what mathematics looks like from the univalent point of view. In the first lecture I will describe the foundational aspects of the univalent foundations, with first applications to finite sets, descent, and the construction of the projective spaces. In the second and third lectures I will describe how the univalence axiom shows up in group theory and in combinatorics.

Informations sur la vidéo

Données de citation

  • DOI 10.24350/CIRM.V.19889403
  • Citer cette vidéo Rijke Egbert (22/02/2022). Daily applications of the univalence axiom: lecture 2. CIRM. Audiovisual resource. DOI: 10.24350/CIRM.V.19889403
  • URL https://dx.doi.org/10.24350/CIRM.V.19889403

Dernières questions liées sur MathOverflow

Pour poser une question, votre compte Carmin.tv doit être connecté à mathoverflow

Poser une question sur MathOverflow




Inscrivez-vous

  • Mettez des vidéos en favori
  • Ajoutez des vidéos à regarder plus tard &
    conservez votre historique de consultation
  • Commentez avec la communauté
    scientifique
  • Recevez des notifications de mise à jour
    de vos sujets favoris
Donner son avis