
Nominal String Diagrams
We introduce nominal string diagrams as, string diagrams internal in the...
read it

Symmetric Monoidal Categories with Attributes
When designing plans in engineering, it is often necessary to consider a...
read it

Comb Diagrams for DiscreteTime Feedback
The data for many useful bidirectional constructions in applied category...
read it

Evaluating Linear Functions to Symmetric Monoidal Categories
A number of domain specific languages, such as circuits or datascience ...
read it

Experimental Mathematics Approach to Gauss Diagrams Realizability
A Gauss diagram (or, more generally, a chord diagram) consists of a circ...
read it

TikZFeynHand: Basic User Guide
This is a userguide for the LaTex package TikzFeynHand at https://ctan....
read it

Computing Chebyshev knot diagrams
A Chebyshev curve C(a,b,c,ϕ) has a parametrization of the form x(t)=T_a(...
read it
Wiring diagrams as normal forms for computing in symmetric monoidal categories
Applications of category theory often involve symmetric monoidal categories (SMCs), in which abstract processes or operations can be composed in series and parallel. However, in 2020 there remains a dearth of computational tools for working with SMCs. We present an "unbiased" approach to implementing symmetric monoidal categories, based on an operad of directed, acyclic wiring diagrams. Because the interchange law and other laws of a SMC hold identically in a wiring diagram, no rewrite rules are needed to compare diagrams. We discuss the mathematics of the operad of wiring diagrams, as well as its implementation in the software package Catlab.
READ FULL TEXT
Comments
There are no comments yet.