News

L'assioma di univalenza di Voevodsky

Martedi' 25 Gennaio 2011 - Nicola Gambino

ARGOMENTI: Seminari

Il giorno Martedi' 25 gennaio 2011, alle ore 16:30 in Aula 2AB40 (Torre Archimede), Nicola Gambino (Dipartimento di Matematica e Informatica, Universita' di Palermo) terra' un seminario dal titolo "L'assioma di univalenza di Voevodsky".

-Abstract
Vladimir Voevodsky ha recentemente introdotto un modello della teoria costruttiva dei tipi nella categoria degli insiemi simpliciali. Questo modello rende valide non solo le solite regole per i tipi identita', ma anche una nuova regola, chiamata l'assioma di univalenza. Lo scopo del seminario e' di spiegare l'enunciato dell'assioma di univalenza e di dare una traccia della dimostrazione, dovuta a Voevodsky, che l'assioma di univalenza implica un principio di estensionalita' per le funzioni.

Rif. int. G. Sambin