Univalent Foundations of Mathematics
 
 
Description:  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.
Start Date:  2013-07-25
Start Time:   15:00
Speaker:  Vladimir Voevodsky (Institute for Advanced Study, Princeton, USA)
Institution:  Institute for Advanced Study
Place:  Sala 2.4
URL:  http://www.math.ias.edu/~vladimir/Site3/home.html
See more:   <Main>  
 
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Powered by: rdOnWeb v1.4 | technical support