1 paper
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…