1 paper · 1 filter
Alejandro Villoria, Henning Basold, Alfons Laarman
In this paper, we extend diagrammatic reasoning in monoidal categories with algebraic operations and equations. We achieve this by considering monoidal categories that are enriched…