Bajki o koindukcji

Prelegent(ci)

Karol Szumiło

Afiliacja

MIM UW

Język referatu

polski

Termin

21 października 2026 10:30

Pokój

p. 4070

Tytuł w języku angielskim

Fables of Coinduction

Seminarium

Seminarium „Topologia algebraiczna”

---

Przedstawię pojęcie koindukcji wraz z wybranymi zastosowaniami w teorii kategorii i teorii homotopii.

---

I will introduce the notion of coinduction along with selected applications in category theory and homotopy theory.

---