String diagrams for strictification and coherence

DOI10.46298/LMCS-20(4:8)2024MaRDI QIDQ6635518zbMATH OpenFDO

Authors Paul W. Wilson, Dan R. Ghica, Fabio Zanasi

Publication date 12 November 2024

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/LMCS-20(4:8)2024

zbMATH Keywords

coherencestrictnessstring diagrams

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites work

• A Compositional Framework for Passive Linear Networks
• A survey of graphical languages for monoidal categories
• Braided tensor categories
• Categories of Differentiable Polynomial Circuits for Machine Learning
• Diagrammatic Semantics for Digital Circuits.
• Functorial Boxes in String Diagrams
• Geometry of synthesis: a structured approach to VLSI design
• scientific article; zbMATH DE number 7599492 (Why is no real title available?)
• Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus
• Natural deduction and coherence for weakly distributive categories
• Picturing quantum processes. A first course in quantum theory and diagrammatic reasoning
• Quantum algorithms and oracles with the scalable ZX-calculus
• String diagrams for non-strict monoidal categories
• String diagrams for strictification and coherence
• SystemVerilog for Design
• Tensor categories
• The geometry of tensor calculus. I
• Towards an algebraic theory of Boolean circuits.

Cited in

(1)

• String diagrams for strictification and coherence

This page was built for publication: String diagrams for strictification and coherence

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