Pragmatic Category Theory Part 1: Semigroup Intro | Hacker News Reader