Wiring diagrams as normal forms for computing in symmetric monoidal categories

zbMATH Open1477.18003arXiv2101.12046MaRDI QIDQ5019659FDOQ5019659

Authors: Evan Patterson, David I. Spivak, Dmitry Vagner 

Publication date: 10 January 2022

Full work available at URL: https://arxiv.org/abs/2101.12046

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

Mathematics Subject Classification ID

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

Cites Work

• The geometry of tensor calculus. I
• A survey of graphical languages for monoidal categories
• Hodge cycles, motives, and Shimura varieties
• Hypergraph categories
• Title not available (Why is that?)
• String diagrams for traced and compact categories are oriented 1-cobordisms
• Quantomatic: a proof assistant for diagrammatic reasoning
• Title not available (Why is that?)

Cited In (8)

• 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
• A practical type theory for symmetric monoidal categories

Uses Software

• Quantomatic
• LightGraphs.jl
• Cartographer

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)