A monoid is a category, a category is a monad, a monad is a monoid

Re:A monoid is a category, a category is a monad, a monad is... by socmag on Sunday April 16, 2017 @05:56PM (#14127755)

I really find it difficult as well, and I think it is a lot to do with the nomenclature that surrounds the field. Sometimes I feel it's almost kept obtuse on purpose.

The way I think about is to think of it is if "Design Patterns" helped show how to "engineer" software at the medium scale, category theory is a tool for helping us learn how to compose systems, and not just software.

I wish it were a little more approachable, but it seems like we are getting there.

There are people like Bartosz out there who really want to make it second nature.

https://bartoszmilewski.com/2014/11/04/category-the-essence-...

I mean just think, it wasn't that long ago nobody knew what the heck a lambda was ;)

We'll get there...

[ Parent | on HN ]

Re:A monoid is a category, a category is a monad, a monad is... by salimmadjd on Monday April 17, 2017 @02:01AM (#14129449)

THANKS! This is great. I watched the first 3 videos in the series and will finish the rest this week. I love his energy and his ability to explain this stuff.

[ Parent | on HN ]