String diagrams for strictification and coherence

DOI10.46298/lmcs-20(4:8)2024MaRDI QIDQ6635518

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)

zbMATH Keywords

coherencestrictnessstring diagrams

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus
• Natural deduction and coherence for weakly distributive categories
• The geometry of tensor calculus. I
• Braided tensor categories
• Towards an algebraic theory of Boolean circuits.
• Picturing Quantum Processes
• A Survey of Graphical Languages for Monoidal Categories
• Geometry of synthesis
• Functorial Boxes in String Diagrams
• A Compositional Framework for Passive Linear Networks
• Diagrammatic Semantics for Digital Circuits.
• Tensor Categories
• SystemVerilog for Design
• Categories of Differentiable Polynomial Circuits for Machine Learning
• String diagrams for non-strict monoidal categories
• String diagrams for strictification and coherence
• Quantum algorithms and oracles with the scalable ZX-calculus

Related Items (1)

String diagrams for strictification and coherence

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