Mo' nads, mo' problems
Aus International Center for Computational Logic
Mo' nads, mo' problems
Vortrag von Kate Birch
- Veranstaltungsort: APB 2026
- Beginn: 17. September 2026 um 11:00
- Ende: 17. September 2026 um 12:00
- Forschungsgruppe: Wissensbasierte Systeme
- Event series: Research Seminar Logic and AI
- iCal
There are many important concepts in category theory that find immediate use in theoretical computer science, the most famous of which being monads. This talk will serve as a short introduction for computer scientists to the theory of monads. We will first discuss (using supporting examples from computer science) some of the foundational structures of category theory: mainly functors, natural transformations, equivalences and adjunctions. Then we will move onto monads, covering some basic results and where I am using them in my project this year. If we have enough time, we will also look at their use as transporters of algebraic structures.
