Menu

16 listopada 2017 12:00

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.