▲ 1 pointsLife in Johnstone's Topological Topos 1 – Fundamentalsgrossack.siteby speckx·2y ago·0 comments·view on hn ↗