Contents/conteúdo

Departamento de Matemática Técnico Técnico

Colóquio  RSS

23/07/2013, 16:00 — 17:00 — Sala P3.10, Pavilhão de Matemática
Vladimir Voevodsky, Institute for Advanced Study

Univalent Foundations of Mathematics

I will outline the main ideas of the new approach to foundations of practical mathematics which we call univalent foundations. Mathematical objects and their equivalences form sets, groupoids or higher groupoids. According to Grothendieck's idea higher groupoids are the same as homotopy types. Therefore mathematics may be considered as studying homotopy types and structures on them. Homotopy type theories, the underlying formal deduction system of the univalent foundations allows one to reason about such objects directly.
Colloquium_logo

O Colloquium de Matemática é a designação geral para uma série de palestras mensais organizadas pelo Departamento de Matemática do IST que têm como objetivo divulgar ideias de ou sobre Matemática. Está aberto à participação de docentes, investigadores e alunos de licenciatura, de mestrado ou de doutoramento do IST ou de outras instituições, sendo uma oportunidade de reunir pessoas com interesses afins e de estimular a troca de ideias num ambiente informal.


Organização: Conceição Amado, Lina Oliveira e Maria João Borges.