An Invitation to General Algebra and Universal Constructions | Hacker News Reader