Similar Items: Coinductive Streams in Monoidal Categories
- Coherent Presentations of Monoidal Categories
- Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure
- Universal Constructions for (Co)Relations: categories, monoidal categories, and props
- Monoidal Width
- A Monoidal View on Fixpoint Checks
- A Categorical Approach to Syntactic Monoids