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

research
04/09/2020

Open Diagrams via Coend Calculus

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

Cornering Optics

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

Geometry of Interaction for ZX-Diagrams

ZX-Calculus is a versatile graphical language for quantum computation eq...
research
04/05/2023

Picturing counting reductions with the ZH-calculus

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

Colored props for large scale graphical reasoning

The prop formalism allows representation of processes withstring diagram...
research
03/11/2021

Classifying Complexity with the ZX-Calculus: Jones Polynomials and Potts Partition Functions

The ZX-calculus is a graphical language which allows for reasoning about...
research
07/08/2022

String Diagrams for Layered Explanations

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

Please sign up or login with your details

Forgot password? Click here to reset