16 listopada 2017 12:00
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.