Collaborative work on reversible computing
A library encoding monoidal functors and related structures in Haskell.
A toolkit for higher-dimensional diagram rewriting.
Bicategories of automata, completeness of F-automata in monoidal categories, adjoints between (semi)bicategories; https://arxiv.org/pdf/2303.03867, https://arxiv.org/pdf/2303.03865, https://arxiv.org/abs/2305.00272
Utilities for cospans, wiring diagrams, frobenius algebras , spans, en operads and petri nets along with more basic utilities for morphisms in (symmetric) monoidal categories, flavors of FinSet, operads and nicely presented monoids
Slides for my talk at ACT 2022, 'Fully abstract categorical semantics for digital circuits'
Slides for my talk at the LFCS seminar, 'A compositional theory of digital circuits'
A tool used to validate whether a given multiplication table (representing a category ass defined in category theory) is a valid finite monoidal category or not
Add a description, image, and links to the monoidal-categories topic page so that developers can more easily learn about it.
To associate your repository with the monoidal-categories topic, visit your repo's landing page and select "manage topics."