Dragging Proofs Out of Pictures

DOI10.1007/978-3-319-30936-1_8zbMath1343.18007OpenAlexW2499731518MaRDI QIDQ3188284

Ralf Hinze, Dan Marsden

Publication date: 17 August 2016

Published in: A List of Successes That Can Change the World (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-30936-1_8

Mathematics Subject Classification ID

Graphs, diagram schemes, precategories (18A10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Foundations, relations to logic and deductive systems (18A15)

Cites Work

• The geometry of tensor calculus. I
• Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers
• Comprehending monads
• Unnamed Item
• Unnamed Item
• Unnamed Item