00:00:00 / 00:00:00

Le principe d'univalence: le transfer du raisonnement à traver les equivalence

By Benedikt Ahrens

Appears in collection : Workshop Schlumberger : Types dépendants et Formalisation des mathématiques

Le raisonnement à équivalence près est omniprésent en mathématique, et les mathématiciens le font implicitement. Pour les mathématiques sur ordinateurs, ce n'est pas si simple : il faut donner tous les détails éxplicitement. C'est pour cela que Voevodsky a créé les fondements univalents, avec l'objectif de méchaniser le transfer du raisonnement à travers les équivalences. Je présenterai notre travail (avec North, Shulman et Tsementzis) sur le principe d'univalence en fondements univalents, qui met en pratique la vision de Voevodsky.

Information about the video

  • Date of recording 6/15/22
  • Date of publication 6/20/22
  • Institution IHES
  • Language French
  • Audience Researchers
  • Format MP4

Last related questions on MathOverflow

You have to connect your Carmin.tv account with mathoverflow to add question

Ask a question on MathOverflow




Register

  • Bookmark videos
  • Add videos to see later &
    keep your browsing history
  • Comment with the scientific
    community
  • Get notification updates
    for your favorite subjects
Give feedback