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 casion on Sunday April 16, 2017 @04:06PM (#14127240)

I see. I'm coming from the other side. I do microcontroller and embedded development.

This post is basically Ancient Greek to me, as you put it.

I think I largely became curious since "these types of posts" tend to be highly ranked with relatively few comments, yet they still show up frequently.

I'm also surrounded by a large number of varying types of programmers and engineers, and I get to hear evangelizing and discussion of a wide array of technologies, but pure math type stuff like this never comes up. So combined that with the aforementioned observation and I become increasingly curious how these posts do well.

[ Parent | on HN ]

Re:A monoid is a category, a category is a monad, a monad is... by laingc on Sunday April 16, 2017 @04:21PM (#14127319)

It's worth mentioning that I come to HN explicitly searching for a mix of interesting reading in my field(s) and Ancient Greek. I think it's super important for me as a mathematician working in technology to try and understand what clever people in other fields find interesting and important. I don't understand it in any sort of depth, and I don't expect myself to. I would imagine that a lot of folks from "your side" probably have a similar attitude to mathematics.

[ Parent | on HN ]