An informal introduction to topos theory · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/1012.5647/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTAn informal introduction to topos theory — mentioned by brooksthttps://news.ycombinator.com/item?id=49987897urn:hackerpapers:mention:1012.5647:49987897Wed, 07 Oct 2026 03:47:42 GMT<p>Depends how fundamental the variables are. If we can code a sim for a topos[1], why can’t we be in such a sim? 1. https://arxiv.org/pdf/1012.5647</p><p><a href="https://hackerpaper.kaipfister.de/p/1012.5647/">Paper and discussion history</a>. A mention is not an endorsement.</p>math.CTAn informal introduction to topos theory — HN submissionhttps://news.ycombinator.com/item?id=29419795urn:hackerpapers:submission:1012.5647:29419795Thu, 02 Dec 2021 17:59:49 GMT<p>An informal introduction to topos theory</p><p></p><p>3 points; 0 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/1012.5647/">Paper and source history</a>. A submission is not an endorsement.</p>math.CT