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.

---