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
monoid petri-nets span hypergraph symmetric-monoidal-categories operad monoidal-categories frobenius-algebras cospan temperley-lieb brauer en-algebra
-
Updated
Oct 12, 2024 - Rust