Collages of String Diagrams
arXiv:2305.02675 · doi:10.4204/EPTCS.397.3
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.
arXiv commentIn Proceedings ACT 2023, arXiv:2312.08138. 15 pages, 10 figures, shorter version for ACT2023
References in corpus (16)
- Theoretical framework for quantum networks
- A mathematical theory of resources
- Modular categories as representations of the 3-dimensional bordism 2-category
- Quasistrict symmetric monoidal 2-categories via wire diagrams
- The balanced tensor product of module categories
- Coend calculus
- Open Diagrams via Coend Calculus
- Doubles for monoidal categories
- String Diagrammatic Electrical Circuit Theory
- Comb Diagrams for Discrete-Time Feedback
- Wiring diagrams as normal forms for computing in symmetric monoidal categories
- Functorial String Diagrams for Reverse-Mode Automatic Differentiation
- Coend Optics for Quantum Combs
- A Foundation for Ledger Structures
- Traced Monoidal Categories as Algebraic Structures in Prof
- Traced monoidal categories as algebraic structures in