Nov. 16, 2017, noon
Maciej Piróg: „Diagramy sznurkowe i wolne monady”
Opowiem o graficznych językach wnioskowania dla pewnych struktur danych pochodzących z dwuwymiarowej teorii kategorii. Jako przykład posłużą nam diagramy sznurkowe dla wolnych monad, które opracowaliśmy jakiś czas temu wspólnie z Nickiem Wu.