DeepAI AI Chat
Log In Sign Up

Coend Calculus and Open Diagrams

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

Morphisms in a monoidal category are usually interpreted as processes or black boxes that can be composed sequentially and in parallel. In practice, we are faced with the problem of interpreting what non-square boxes ought to represent 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, in terms of coends and the monoidal bicategory of profunctors, with features of what could be considered a graphical calculus for these coends. The graphical calculus allows us to describe possible compositions of these open diagrams but also to reason about their concrete descriptions. This is work in progress.

READ FULL TEXT

page 1

page 2

page 3

page 4

04/09/2020

Open Diagrams via Coend Calculus

Morphisms in a monoidal category are usually interpreted as processes, a...
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...
04/05/2023

Picturing counting reductions with the ZH-calculus

Counting the solutions to Boolean formulae defines the problem #SAT, whi...
07/07/2020

Colored props for large scale graphical reasoning

The prop formalism allows representation of processes withstring diagram...
09/26/2017

Towards a Minimal Stabilizer ZX-calculus

The stabilizer ZX-calculus is a rigorous graphical language for reasonin...
07/08/2022

String Diagrams for Layered Explanations

We propose a categorical framework to reason about scientific explanatio...