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