Évènements
Rechercher un événement
12
Sep
Automatisation des calculs dans les catégories supérieures et génération de preuves d'égalités
Thibaut Benjamin (Cambridge)
Dans cet exposé, je vais présenter une approche pour travailler avec les types d'identité supérieurs en théorie des types homotopique, s'appuyant sur un langage intermédiaire [...]
12
Sep
Deux métriques finsleriennes sur l’espace de Teichmüller
Ken'ichi Ohshika (Gakushuin University)
Thurston a introduit une nouvelle métrique finslerienne sur l’espace de Teichmüller induite par les applications d’étirement: ce qu’on appelle la métrique asymétrique de Thurston. Il [...]
