https://hackerpaper.kaipfister.de/p/1808.01350/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=21212755urn:hackerpapers:mention:1808.01350:21212755Thu, 10 Oct 2019 10:17:44 GMT<p>This is also true of QM (not just because of QM computational sciences). My MSc thesis has application to quantum mechanics. I wrote a short summary of the generalisation that I made here [1], which generalises what the Nijmegen group calls quotient comprehension chains to sets. The authors of the latter QC-chains did not seem much interested when I emailed them. In any case, ideally the framework should touch on geometry eventually as well, but I am not aware of concrete ways to do it. Toposes are considered geometric, but I don&#x27;t know whether geometric in the sense of GR. The eventual or at…</p><p><a href="https://hackerpaper.kaipfister.de/p/1808.01350/">Paper and discussion history</a>. A mention is not an endorsement.</p>math.CT