2000 character limit reached
Collages of String Diagrams (2305.02675v2)
Published 4 May 2023 in math.CT and cs.LO
Abstract: We introduce collages of string diagrams as a diagrammatic syntax for glueing multiple monoidal categories. Collages of string diagrams are interpreted as pointed bimodular profunctors. As the main examples of this technique, we introduce string diagrams for bimodular categories, string diagrams for functor boxes, and string diagrams for internal diagrams.