String diagrams are ubiquitous in applied category theory. They originate as a graphical notation for representing terms in monoidal categories and since their origins, they have been used not just as ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback