monoidal-categories topic

A library encoding monoidal functors and related structures in Haskell.

solomon-b

Collaborative work on reversible computing

vikraman

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/...

iwilare