Wiring diagrams as normal forms for computing in symmetric monoidal categories

MaRDI QIDQ5019659zbMATH OpenFDO

Authors Evan Patterson, David I. Spivak, Dmitry Vagner

Publication date 10 January 2022

Full work available at URL https://arxiv.org/abs/2101.12046, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ACT2020.4

Mathematics Subject Classification ID

Monoidal categories, symmetric monoidal categories (18M05) Software, source code, etc. for problems pertaining to category theory (18-04)

Recommendations

• A practical type theory for symmetric monoidal categories
• Symmetric monoidal sketches and categories of wirings
• Rewriting modulo symmetric monoidal structure
• DisCoPy: monoidal categories in Python
• A structural and nominal syntax for diagrams

Cites work

• scientific article; zbMATH DE number 3344105 (Why is no real title available?)
• scientific article; zbMATH DE number 7649903 (Why is no real title available?)
• A survey of graphical languages for monoidal categories
• Hodge cycles, motives, and Shimura varieties
• Hypergraph categories
• Quantomatic: a proof assistant for diagrammatic reasoning
• String diagrams for traced and compact categories are oriented 1-cobordisms
• The geometry of tensor calculus. I

Cited in

(8)

• A practical type theory for symmetric monoidal categories
• The cost of compositionality: a high-performance implementation of string diagram composition
• Symmetric monoidal sketches and categories of wirings
• Free gs-monoidal categories and free Markov categories
• A structural and nominal syntax for diagrams
• Symmetric monoidal categories with attributes
• Catlab
• DisCoPy: monoidal categories in Python

Describes a project that uses

Uses Software

• Cartographer
• LightGraphs.jl
• Quantomatic

This page was built for publication: Wiring diagrams as normal forms for computing in symmetric monoidal categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5019659)