Bajki o koindukcji

Speaker(s)

Karol Szumiło

Affiliation

MIM UW

Language of the talk

Polish

Date

Oct. 21, 2026, 10:30 a.m.

Room

room 4070

Title in English

Fables of Coinduction

Seminar

Seminar Algebraic Topology

---

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

---

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

---