Introducing String Diagrams

DOI10.1017/9781009317825MaRDI QIDQ6038723zbMATH OpenOpenAlexFDO

Authors Ralf Hinze, Dan Marsden

Publication date 3 May 2023

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

zbMATH Keywords

2-category of categoriesadjoint functorEilenberg-Moore categoryfree monadfunctorKleisli categorymonadnatural transformationresumption monadstring diagramuniversal property

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) 2-categories, bicategories, double categories (18N10) Functional programming and lambda calculus (68N18)

Recommendations

• The Joy of String Diagrams
• A survey of graphical languages for monoidal categories
• Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers
• scientific article; zbMATH DE number 5761737
• Dragging proofs out of pictures

Cited in

(8)

• Diagrammatic Algebra
• Programs as Diagrams
• Equivalences in diagrammatic sets
• Point-free calculational proofs and program derivation in linear algebra using a graphical syntax
• Syntax monads for the working formal metatheorist
• The graphical theory of monads
• Rewriting for symmetric monoidal categories with commutative (co)monoid structure
• Compositional separation of control flow and data flow

This page was built for publication: Introducing String Diagrams

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