←back to thread

A list is a monad

(alexyorke.github.io)
153 points polygot | 1 comments | 29 Jun 25 17:53 UTC | HN request time: 0.207s | source
Show context
revskill ◴[02 Jul 25 16:45 UTC] No.44445883[source]▶
U must prove it is a monoid in the category of endofuncors.
replies(2): >>44446065 #>>44447702 #
hirvi74 ◴[02 Jul 25 19:15 UTC] No.44447702[source]▶
> monoid in the category of endofuncors.

I do not even know what a monoid or an endofuncor is. While I enjoy math, despite not being the best at it, I am confident I never made it this far in my studies. I looked at the Wikipedia definitions, and I am even more confused now.

replies(1): >>44448562 #
1. 1-more ◴[02 Jul 25 20:38 UTC] No.44448562[source]▶
https://bartoszmilewski.com/2016/12/27/monads-categorically/

This is a book chapter, and you need the preceding chapters to grasp it I think. I'm still in the middle of it.