Sets in homotopy type theory · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/1305.3835/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTSets in homotopy type theory — mentioned by anchpophttps://news.ycombinator.com/item?id=30714059urn:hackerpapers:mention:1305.3835:30714059Thu, 17 Mar 2022 17:59:21 GMT<p>You should read the homotopy type theory book if you’re interesting in things like this :p But to answer your question, there’s one here: https://arxiv.org/abs/1305.3835</p><p><a href="https://hackerpaper.kaipfister.de/p/1305.3835/">Paper and discussion history</a>. A mention is not an endorsement.</p>math.CT