undefined | Better HN

0 pointsmacrolocal8mo ago0 comments

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

0 comments

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

j / k navigate · click thread line to collapse

0 pointsmacrolocal8mo ago0 comments

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

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

j / k navigate · click thread line to collapse