Seminario di lettura sulla Teoria Omotopica dei Tipi
Stiamo organizzando un ciclo di seminari di lettura sulla Teoria Omotopica dei Tipi.
Il primo incontro si terrà martedì 15 ottobre alle ore 14:30 nell'aula seminari Tricerri del Dipartimento di Matetematica e Informatica (DiMaI):
Marco Maggesi
Introduzione alla teoria dell'omotopia classica
Si tratterà di un incontro preparatorio, pensato per spiegare nel modo più intuitivo possibile la nozione di gruppo d'omotopia a chi non ha familiarità con la teoria classica.
Dalla settimana successiva intendiamo iniziare un ciclo di incontri sulla lettura del libro
Homotopy Type Theory: Univalent Foundations of Mathematics
http://homotopytypetheory.org/2013/06/20/the-hott-book/
Il libro è liberamente scaricabile dalla pagina http://homotopytypetheory.org/2013/06/20/the-hott-book/
Chi fosse interessato al gruppo di lettura è pregato di contattare Marco Maggesi (marco.maggesi AT unifi.it).
Altre risorse per sapere di più sulla Teoria Omotopica dei Tipi e sull'Assioma di Univalenza:
- Il blog http://homotopytypetheory.org/
- Steve Awodey, Álvaro Pelayo, and Michael A. Warren, Voevodsky's Univalence Axiom in Homotopy Type Theory (Notices of AMS, Ottobre 2013 http://www.ams.org/notices/201309/rnoti-p1164.pdf)