scientific article; zbMATH DE number 7454894

zbMath1477.18003arXiv2101.12046MaRDI QIDQ5019659

Dmitry Vagner, David I. Spivak, Evan Patterson

Publication date: 10 January 2022

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (3)

Catlab ⋮ Free gs-monoidal categories and free Markov categories ⋮ Unnamed Item

Uses Software

• Quantomatic
• LightGraphs.jl
• Cartographer

Cites Work

• Unnamed Item
• Unnamed Item
• Hodge cycles, motives, and Shimura varieties
• The geometry of tensor calculus. I
• String diagrams for traced and compact categories are oriented 1-cobordisms
• Hypergraph categories
• A Survey of Graphical Languages for Monoidal Categories
• Quantomatic: A Proof Assistant for Diagrammatic Reasoning

This page was built for publication: