The Joy of String Diagrams

DOI10.1007/978-3-540-87531-4_2MaRDI QIDQ3540167zbMATH OpenOpenAlexFDO

Authors Pierre-Louis Curien

Publication date 20 November 2008

Published in Computer Science Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-87531-4_2

Mathematics Subject Classification ID

Graphs, diagram schemes, precategories (18A10)

Recommendations

• Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers
• Dragging proofs out of pictures
• Functorial Boxes in String Diagrams
• A survey of graphical languages for monoidal categories
• String diagrams for regular logic (extended abstract)

Cited in

(5)

• Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers
• Dragging proofs out of pictures
• Functorial Boxes in String Diagrams
• Introducing String Diagrams
• The graphical theory of monads

This page was built for publication: The Joy of String Diagrams

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