Comb Diagrams for Discrete-Time Feedback

03/13/2020
by   Mario Román, et al.
0

The data for many useful bidirectional constructions in applied category theory (optics, learners, games, quantum combs) can be expressed in terms of diagrams containing "holes" or "incomplete parts", sometimes known as comb diagrams. We give a possible formalization of what these circuits with incomplete parts represent in terms of symmetric monoidal categories, using the dinaturality equivalence relations arising from a coend. Our main idea is to extend this formal description to allow for infinite circuits with holes indexed by the natural numbers. We show how infinite combs over an arbitrary symmetric monoidal category form again a symmetric monoidal category where notions of delay and feedback can be considered. The constructions presented here are still preliminary work.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/11/2017

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

Calculi of string diagrams are increasingly used to present the syntax a...
research
01/27/2023

The Produoidal Algebra of Process Decomposition

We introduce the normal produoidal category of monoidal contexts over an...
research
01/26/2021

Wiring diagrams as normal forms for computing in symmetric monoidal categories

Applications of category theory often involve symmetric monoidal categor...
research
05/02/2022

Cornering Optics

We show that the category of optics in a monoidal category arises natura...
research
02/19/2023

Rewriting modulo traced comonoid structure

In this paper we adapt previous work on rewriting string diagrams using ...
research
04/09/2020

Open Diagrams via Coend Calculus

Morphisms in a monoidal category are usually interpreted as processes, a...
research
03/10/2021

Evaluating Linear Functions to Symmetric Monoidal Categories

A number of domain specific languages, such as circuits or data-science ...

Please sign up or login with your details

Forgot password? Click here to reset