undefined | Better HN

0 pointsmacrolocal11mo ago0 comments

Yep, you need category theory to express something as trivial as the definition of a monad.

0 comments

1 comments · 1 top-level

That’s what category theory does well: broad collections of trivialities in a unified definition.

j / k navigate · click thread line to collapse