undefined | Better HN

0 pointsrndn10y ago0 comments

Can you elaborate a bit on the last sentence? What exactly are the relations and what is the set?

0 comments

1 comments · 1 top-level

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.

j / k navigate · click thread line to collapse