The Joy of String Diagrams

DOI10.1007/978-3-540-87531-4_2zbMATH Open1157.18301OpenAlexW1507826418MaRDI QIDQ3540167FDOQ3540167

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

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)

Mathematics Subject Classification ID

Graphs, diagram schemes, precategories (18A10)

Cited In (4)

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

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)