DeepAI AI Chat
Log In Sign Up

Coend Calculus and Open Diagrams

by   Mario Román, et al.

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.


page 1

page 2

page 3

page 4


Open Diagrams via Coend Calculus

Morphisms in a monoidal category are usually interpreted as processes, a...

Cornering Optics

We show that the category of optics in a monoidal category arises natura...

Geometry of Interaction for ZX-Diagrams

ZX-Calculus is a versatile graphical language for quantum computation eq...

Picturing counting reductions with the ZH-calculus

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

Colored props for large scale graphical reasoning

The prop formalism allows representation of processes withstring diagram...

Towards a Minimal Stabilizer ZX-calculus

The stabilizer ZX-calculus is a rigorous graphical language for reasonin...

String Diagrams for Layered Explanations

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