An informal introduction to topos theory | Hacker News Reader