Search

• < Previous
• 1
• Next >

String diagrams for Strictification and Coherence

Whereas string diagrams for strict monoidal categories are well understood, and have found application in several fields of Computer Science, graphical formalisms for non-strict monoidal categories are far less studied. In this paper, we provide a presentation by generators and relations of string&nbsp;[&hellip;]