Hacker News new | ask | show | jobs
by rndn 3945 days ago
Can you elaborate a bit on the last sentence? What exactly are the relations and what is the set?
1 comments
freyrs3 3945 days ago
If you want a description of the monad laws in Haskell terms you can Google and find like 80 expositions on the topic of various depths.

If you want a mathematical exposition. "Category Theory" by Awodey page 265 is a concise description.

link