Seminario: Simplicial Sets and a Univalent Universe in there

Venerdì 29 Aprile 2016, ore 16:30 - Aula 2AB45 - Thomas Streicher



Venerdì 29 Aprile 2016 alle ore 16:30 in Aula 2AB45, Thomas Streicher (Technische Universität Darmstadt) terrà un seminario dal titolo "Simplicial Sets and a Univalent Universe in there".

We explain the model structure on simplicial sets and how they are related to topological spaces (work of Kan from late 1950s).
We also describe how univalent universes (in the sense of Voevodsky) can be constructed within simplicial sets.

NEWS: New Second Level Degree in Data Science - Second cycle degree - a. y. 2017/18 X