A type theory for synthetic $\infty$-categories ยท HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/1705.07442/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTA type theory for synthetic $\infty$-categories โ€” mentioned by armchairhackerhttps://news.ycombinator.com/item?id=38236174urn:hackerpapers:mention:1705.07442:38236174Sun, 12 Nov 2023 00:52:39 GMT<p>Reminds me of &quot;rzk: an experimental proof assistant for synthetic โˆž-categories&quot; (https://rzk-lang.github.io/rzk/v0.6.4/reference/introduction...) and the โˆž-categories paper (https://arxiv.org/abs/1705.07442)</p><p><a href="https://hackerpaper.kaipfister.de/p/1705.07442/">Paper and discussion history</a>. A mention is not an endorsement.</p>math.CT