Closed FadiShawki closed 2 months ago
Some notes from last year < 2023-12-20
[[Filippo Bonchi]]
[[Fabio Gadducci]]
[[Aleks Kissinger]]
[[Paweł Sobocinski]]
[[Fabio Zanasi]]
[[2012.01847.pdf|String Diagram Rewrite Theory I: Rewriting with Frobenius Structure]]
[[2104.14686.pdf|String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal Structure]]
[[string-diagram-rewrite-theory-iii-confluence-with-and-without-frobenius.pdf|String diagram rewrite theory III: Confluence with and without Frobenius]]
Discord equivalent: https://discord.com/channels/1055502602365845534/1185009740103811122