Lawvere Theories | Hacker News Reader