Скачать
Lógicos em Quarentena 17/2021: Martin Escardo (University of Birminghan)
Автор: Sociedade Brasileira de Lógica
Загружено: 2021-11-04
Просмотров: 208
Описание:
Equality of mathematical structures.
Two groups are regarded to be the same if they are isomorphic,
two topological spaces are regarded to be the same if they are
homeomorphic, two metric spaces are regarded to be the same if they are
isometric, two categories are regarded to be the same if they are
equivalent, etc. In Voevodsky's Univalent Foundations (HoTT/UF), the
above become theorems: we can replace "are regarded to be the same” by "are the same". I will explain how this works. I will not assume
previous knowledge of HoTT/UF or type theory.
Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
![Lógicos [saindo da | em] Quarentena 01/2022: Edson Bezerra (UNICAMP)](https://imager.clipsaver.ru/pGtSRJcDsUQ/max.jpg)
