Collages of string diagrams
D Braithwaite, M Román - arxiv preprint arxiv:2305.02675, 2023 - arxiv.org
We introduce collages of string diagrams as a diagrammatic syntax for glueing multiple
monoidal categories. Collages of string diagrams are interpreted as pointed bimodular …
monoidal categories. Collages of string diagrams are interpreted as pointed bimodular …
Regular planar monoidal languages
We introduce regular languages of morphisms in free monoidal categories, with their
associated grammars and automata. These subsume the classical theory of regular …
associated grammars and automata. These subsume the classical theory of regular …
Monoidal width
We introduce monoidal width as a measure of complexity for morphisms in monoidal
categories. Inspired by well-known structural width measures for graphs, like tree width and …
categories. Inspired by well-known structural width measures for graphs, like tree width and …
A complete logic for causal consistency
The $\mathrm {Caus}[-] $ construction takes a base category of``raw materials''and builds a
category of higher order causal processes, that is a category whose types encode causal …
category of higher order causal processes, that is a category whose types encode causal …
Context-Free Languages of String Diagrams
We introduce context-free languages of morphisms in monoidal categories, extending recent
work on the categorification of context-free languages, and regular languages of string …
work on the categorification of context-free languages, and regular languages of string …
A Profunctorial Semantics for Quantum Supermaps
We identify morphisms of strong profunctors as a categorification of quantum supermaps.
These black-box generalisations of diagrams-with-holes are hence placed within the …
These black-box generalisations of diagrams-with-holes are hence placed within the …
String Diagrams for Physical Duoidal Categories
M Román - arxiv preprint arxiv:2406.19816, 2024 - arxiv.org
arxiv:2406.19816v2 [math.CT] 20 Jul 2024 Page 1 STRING DIAGRAMS FOR PHYSICAL
DUOIDAL CATEGORIES MARIO ROMÁN Abstract. We introduce string diagrams for physical …
DUOIDAL CATEGORIES MARIO ROMÁN Abstract. We introduce string diagrams for physical …
[PDF][PDF] Polycategories of Supermaps on Monoidal Categories
M Wilson, G Chiribella - 2023 - qpl2023.github.io
Polycategories of Supermaps on Monoidal Categories Page 1 POLYCATEGORIES OF
SUPERMAPS ON MONOIDAL CATEGORIES Matt Wilson1,2 Giulio Chiribella2,3,4,5 July 17 …
SUPERMAPS ON MONOIDAL CATEGORIES Matt Wilson1,2 Giulio Chiribella2,3,4,5 July 17 …
[PDF][PDF] STRING DIAGRAMS FOR PHYSICAL DUOIDAL CATEGORIES TECHNICAL REPORT June 23, 2024
M ROMÁN - 2024 - mroman42.github.io
We introduce string diagrams for physical duoidal categories (normal symmetric duoidal
categories): they consist of string diagrams with wires forming a zigzag-free partial order and …
categories): they consist of string diagrams with wires forming a zigzag-free partial order and …
[PDF][PDF] Universal Properties of Asynchronous Message Passing
M Román - mroman42.github.io
Message passing (specifically, multi-party and asynchronous message passing) is the most
common technique in computer science that allows different systems to interact and …
common technique in computer science that allows different systems to interact and …