A Monoid Is a Category with Just One Object. So What's the Problem? | Hacker News Reader