Executions in (Semi-)Integer Petri Nets are Compact Closed Categories · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/1805.05988/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTExecutions in (Semi-)Integer Petri Nets are Compact Closed Categories — mentioned by FabGenovesehttps://news.ycombinator.com/item?id=25827103urn:hackerpapers:mention:1805.05988:25827103Mon, 18 Jan 2021 21:51:50 GMT<p>Natual isomorphisms with FDHilb are very difficult to get here: Different flavors of Petri nets present different flavors of FREE monoidal categories. &quot;Free&quot; here means that we have categories that satisfy exactly the equations that are needed to be (symmetric, commutative) monoidal, nothing more. Instead, FDHilb is compact closed, and even more, hypergraph. This means that it has a lot more structure beyond monoidality: It has products (that are actually biproducts), cups and caps (because it is compact closed), etc. So there is no way to generate this kind of stuff from one of our nets…</p><p><a href="https://hackerpaper.kaipfister.de/p/1805.05988/">Paper and discussion history</a>. A mention is not an endorsement.</p>math.CT