27 followers
@dusktwee @_julesh_ There are also weird topologies for the finite and infinite posets generated by Petri nets - between T1 and T2, continuous and discrete. Perhaps another starting point for your desired compactness idk, https://t.co/s1IHFyzR3s. Winskel a