https://hackerpaper.kaipfister.de/p/1411.5563/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=26985116urn:hackerpapers:mention:1411.5563:26985116Thu, 29 Apr 2021 19:01:39 GMT<p>The formalization of what it means for modules to exist and compose with each other is valuable, but learning category theory as a mathematician would is not sufficient for grokking this. Category theory&#x27;s insights are often obscured by terminology that fails to reify the abstractions at a level where its wide scope becomes clear. The candidate I would push forward as the proper reification would be Mark Burgess&#x27; Promise Theory. Mark&#x27;s starting point isn&#x27;t, &quot;what&#x27;s the most general algebra I can form for encoding mathematical objects&quot;, but &quot;what happens if I generalize points in spacetime to…</p><p><a href="https://hackerpaper.kaipfister.de/p/1411.5563/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.MA