https://hackerpaper.kaipfister.de/p/1401.7220/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=40826111urn:hackerpapers:submission:1401.7220:40826111Fri, 28 Jun 2024 22:43:05 GMT<p>Category theory using string diagrams (2014)</p><p></p><p>79 points; 23 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/1401.7220/">Paper and source history</a>. A submission is not an endorsement.</p>math.CThttps://news.ycombinator.com/item?id=37661175urn:hackerpapers:mention:1401.7220:37661175Tue, 26 Sep 2023 15:53:26 GMT<p>Yeah, I thought exactly the same thing when I watching Contact again a few months ago! There are all kinds of fascinating places where you can gain mental leverage by thinking in higher dimensions. For example, the definition of a monoidal category, which includes various equivalences (or for a strict monoidal category, equalities), can be seen as telling you about the existence of certain 3-dimensional &quot;sheets&quot;, 2-dimensional slices of which are equivalent (or equal) ordinary functorial string diagrams[0]. This is just a higher dimensional extension of the fact that chaining 1-dimensional…</p><p><a href="https://hackerpaper.kaipfister.de/p/1401.7220/">Paper and discussion history</a>. A mention is not an endorsement.</p>math.CT