String diagrams for free monads

Maciej Piróg

University of Wroclaw

Thursday, 8 December 2016, 14:00
Cybernetica Bldg (Akadeemia tee 21), room B101

Slides from the talk [pdf]

Abstract: We show how one can reason about free monads using their universal properties rather than any concrete implementation. We introduce a graphical, two-dimensional calculus tailor-made to accommodate these properties.

This is joint work with Nicolas Wu (University of Bristol).

Tarmo Uustalu
Last update 10 December 2016