DeepAI AI Chat
Log In Sign Up

Open Diagrams via Coend Calculus

04/09/2020
by   Mario Román, et al.
0

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. This is work in progress.

READ FULL TEXT
04/09/2020

Coend Calculus and Open Diagrams

Morphisms in a monoidal category are usually interpreted as processes or...
05/02/2022

Cornering Optics

We show that the category of optics in a monoidal category arises natura...
06/22/2022

Geometry of Interaction for ZX-Diagrams

ZX-Calculus is a versatile graphical language for quantum computation eq...
06/19/2022

Encoding High-level Quantum Programs as SZX-diagrams

The Scalable ZX-calculus is a compact graphical language used to reason ...
03/13/2020

Comb Diagrams for Discrete-Time Feedback

The data for many useful bidirectional constructions in applied category...
04/05/2023

Picturing counting reductions with the ZH-calculus

Counting the solutions to Boolean formulae defines the problem #SAT, whi...
05/01/2023

Data-Parallel Algorithms for String Diagrams

We give parallel algorithms for string diagrams represented as structure...