We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: Wiring diagrams as normal forms for computing in symmetric monoidal categories

Authors: Evan Patterson (Stanford University), David I. Spivak (MIT), Dmitry Vagner
Abstract: 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.
Comments: In Proceedings ACT 2020, arXiv:2101.07888
Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM)
Journal reference: EPTCS 333, 2021, pp. 49-64
DOI: 10.4204/EPTCS.333.4
Cite as: arXiv:2101.12046 [cs.LO]
  (or arXiv:2101.12046v1 [cs.LO] for this version)

Submission history

From: EPTCS [view email]
[v1] Tue, 26 Jan 2021 00:02:11 GMT (170kb,D)

Link back to: arXiv, form interface, contact.