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.

---