DeepAI AI Chat
Log In Sign Up

Universal Constructions for (Co)Relations: categories, monoidal categories, and props

10/11/2017
by   Brendan Fong, et al.
0

Calculi of string diagrams are increasingly used to present the syntax and algebraic structure of various families of circuits, including signal flow graphs, electrical circuits and quantum processes. In many such approaches, the semantic interpretation for diagrams is given in terms of relations or corelations (generalised equivalence relations) of some kind. In this paper we show how semantic categories of both relations and corelations can be characterised as colimits of simpler categories. This modular perspective is important as it simplifies the task of giving a complete axiomatisation for semantic equivalence of string diagrams. Moreover, our general result unifies various theorems that are independently found in literature and are relevant for program semantics, quantum computation and control theory.

READ FULL TEXT

page 1

page 2

page 3

page 4

10/18/2022

Deconstructing the Calculus of Relations with Tape Diagrams

Rig categories with finite biproducts are categories with two monoidal p...
03/13/2020

Comb Diagrams for Discrete-Time Feedback

The data for many useful bidirectional constructions in applied category...
12/03/2020

String Diagram Rewrite Theory I: Rewriting with Frobenius Structure

String diagrams are a powerful and intuitive graphical syntax, originate...
05/13/2022

Completeness and expressiveness for gs-monoidal categories

Formalised in the study of symmetric monoidal categories, string diagram...
03/02/2018

Spectral Presheaves, Kochen-Specker Contextuality, and Quantale-Valued Relations

In the topos approach to quantum theory of Doering and Isham the Kochen-...
04/08/2022

String Diagram Rewriting Modulo Commutative Monoid Structure

We characterise freely generated props with a chosen commutative monoid ...
05/04/2018

Interacting Hopf Algebras: the theory of linear systems

As first main contribution, this thesis characterises the PROP SVk of li...