Category Theory Illustrated – Monoids · HackerLangs