Collages of String Diagrams
Category Theory
2023-12-15 v2 Logic in Computer Science
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.
Keywords
Cite
@article{arxiv.2305.02675,
title = {Collages of String Diagrams},
author = {Dylan Braithwaite and Mario Román},
journal= {arXiv preprint arXiv:2305.02675},
year = {2023}
}
Comments
In Proceedings ACT 2023, arXiv:2312.08138. 15 pages, 10 figures, shorter version for ACT2023