You are not logged in |
Konstruktywna symplicjalna teoria homotopii
- Speaker(s)
- Karol Szumiło
- Affiliation
- MIMUW
- Date
- March 29, 2022, 4:30 p.m.
- Information about the event
- 4070 oraz Zoom: 892 1108 9551 Password - type the number equal to rk(H^2((S^1)^{200};Z))
- Seminar
- Seminar Algebraic Topology
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.
