An introduction to string diagrams for computer scientists

DOI10.1017/9781009625715MaRDI QIDQ7021666zbMATH OpenFDO

Authors Robin Piedeleu, Fabio Zanasi

Publication date 26 February 2025

Published in Elements in Applied Category Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/9781009625715

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01) String diagrams and graphical calculi (18M30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01)

Cited in

(7)

• Graphical quadratic algebra
• A categorical model for organic chemistry
• Compositional separation of control flow and data flow
• Compositional control-driven Boolean circuits
• Quantitative monoidal algebra: axiomatising distance with string diagrams
• Compositional inference for Bayesian networks and causality
• Graphical quadratic algebra: a complete calculus for convex optimisation and Gaussian probability

This page was built for publication: An introduction to string diagrams for computer scientists

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