Open diagrams via coend calculus

MaRDI QIDQ5019661zbMATH OpenFDO

Authors Mario Román

Publication date 10 January 2022

Full work available at URL https://arxiv.org/abs/2004.04526, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ACT2020.5

Mathematics Subject Classification ID

String diagrams and graphical calculi (18M30)

Abstract: Morphisms in a monoidal category are usually interpreted as processes, and graphically depicted as square boxes. In practice, we are faced with the problem of interpreting what non-square boxes ought to represent in terms of the monoidal category and, more importantly, how should they be composed. Examples of this situation include lenses or learners. We propose a description of these non-square boxes, which we call open diagrams, using the monoidal bicategory of profunctors. A graphical coend calculus can then be used to reason about open diagrams and their compositions.

Recommendations

• Open-graphs and monoidal theories
• Categorifying the ZX-calculus
• Functorial Boxes in String Diagrams
• Open graphs and computational reasoning
• Morphisms of colimits: from paths to profunctors

Cites work

• (Co)end Calculus
• A categorical semantics for causal structure
• Cartesian Bicategories II
• Central extensions of smooth 2-groups and a finite-dimensional string 2-group
• Compact closed bicategories
• Compositional game theory
• Decorated cospans
• Doubles for monoidal categories
• Dynamical systems and sheaves
• Feedback, trace and fixed-point semantics
• Functorial Boxes in String Diagrams
• scientific article; zbMATH DE number 647417 (Why is no real title available?)
• Monoidal Grothendieck construction
• Refinement for signal flow graphs
• Structured cospans

Cited in

(11)

• Coend Optics for Quantum Combs
• Cornering Optics
• String Diagrams for Layered Explanations
• Bidirectional processes -- in category theory, physics, engineering, \dots
• Causality in higher order process theories
• The produoidal algebra of process decomposition
• Context-free languages of string diagrams
• Optics for premonoidal categories
• Collages of string diagrams
• A profunctorial semantics for quantum supermaps
• Typed compositional quantum computation with lenses

Describes a project that uses

Uses Software

• lens

This page was built for publication: Open diagrams via coend calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5019661)