News

Seminario: Simplicial Sets and a Univalent Universe in there

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

ARGOMENTI: Seminari

Seminario

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".

Abstract
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.