Le principe d'univalence: le transfer du raisonnement à travers les equivalence (T: 45min + Q: 15min)

Jun 15, 2022, 4:00 PM
1h
Centre de conférences Marilyn et James Simons (Le Bois-Marie)

Centre de conférences Marilyn et James Simons

Le Bois-Marie

35, route de Chartres 91440 Bures-sur-Yvette

Speaker

Prof. Benedikt AHRENS (Delft University of Technology)

Description

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 explicitement. C'est pour cela que Voevodsky a créé les fondements univalents, avec l'objectif de mécaniser 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.

Presentation materials