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

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

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

• A survey of graphical languages for monoidal categories
• CARTOGRAPHER: a tool for string diagrammatic reasoning (tool paper)
• Hodge cycles, motives, and Shimura varieties
• scientific article; zbMATH DE number 3344105 (Why is no real title available?)
• 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

(12)

• Catlab
• Symmetric monoidal sketches and categories of wirings
• A structural and nominal syntax for diagrams
• A practical type theory for symmetric monoidal categories
• Symmetric monoidal categories with attributes
• DisCoPy: monoidal categories in Python
• Free gs-monoidal categories and free Markov categories
• The cost of compositionality: a high-performance implementation of string diagram composition
• The produoidal algebra of process decomposition
• Context-free languages of string diagrams
• Collages of string diagrams
• Operads for complex system design specification, analysis and synthesis

Describes a project that uses

Uses Software

• LightGraphs.jl
• Cartographer
• 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)