1 paper · 1 filter
Callum Reader, Alessandro Di Giorgio
We introduce a graphical language for closed symmetric monoidal categories based on an extension of string diagrams with special bracket wires representing internal homs. These bra…