Menu

Nov. 16, 2017, noon

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.