|
|
|
|
|
|
|
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>
|
|
| |
|
|
|
|
|
|
© 2012 Centre for Mathematics, University of Coimbra, funded by
Powered by: rdOnWeb
v1.4 | technical support
|
|
|
|
