Similar Items: Monoidal Width
- Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure
- Coherent Presentations of Monoidal Categories
- Coinductive Streams in Monoidal Categories
- A Categorical Approach to Syntactic Monoids
- A Monoidal View on Fixpoint Checks
- On Second-Order Monadic Monoidal and Groupoidal Quantifiers