Nie jesteś zalogowany |
Konstruktywna symplicjalna teoria homotopii
- Prelegent(ci)
- Karol Szumiło
- Afiliacja
- MIMUW
- Termin
- 29 marca 2022 16:30
- Informacje na temat wydarzenia
- 4070 oraz Zoom: 892 1108 9551 Password - type the number equal to rk(H^2((S^1)^{200};Z))
- Seminarium
- Seminarium „Topologia algebraiczna”
Omówię pewne podstawowe rezultaty symplicjalnej teorii homotopii w logice intuicjonistycznej, tzn. z wykluczeniem niekonstruktywnych aksjomatów logiki i teorii mnogości: prawa wyłączonego środka i aksjomatu wyboru. Oryginalną motywacją była konstrukcja modeli homotopijnej teorii typów, ale dalsze badania prowadzą do interesujących problemów z przecięcia teorii homotopii i logiki kategoryjnej.
