Category theory is hilariously recursive | Hacker News Reader