Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers

DOI10.1016/j.jlamp.2015.12.004zbMath1375.18027OpenAlexW2256944772MaRDI QIDQ2374309

Ralf Hinze, Dan Marsden

Publication date: 15 December 2016

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2015.12.004

zbMATH Keywords

category theorycalculational proofadjunctionstring diagramresumption monad

Mathematics Subject Classification ID

Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items

High-level modelling for typed functional programming, Dragging Proofs Out of Pictures, A compositional approach to quantum functions, A Topological Perspective on Interacting Algebraic Theories

Cites Work

• Homotopy theory in general categories
• Adjoint Functors
• Unnamed Item
• Unnamed Item
• Unnamed Item