TY - RPRT TI - String Diagrams for Closed Symmetric Monoidal Categories AU - Callum Reader AU - Alessandro Di Giorgio PY - 2025 UR - https://arxiv.org/abs/2512.06499 ID - 2512.06499 ER -