Meseguer, J., Montanari, U. and Sassone, V.
?-Ind Completion of Monoidal Categories and Infinite Petri Net Computations.
At Workshop on Topology and Completion in Semantics, France.
There exists a KZ-doctrine on the 2-category of the locally small categories whose algebras are exactly the categories which admits all the colimits indexed by $\omega$-chains. The paper presents a wide survey of this topic. In addition, we show that this chain cocompletion KZ-doctrine lifts smoothly to KZ-doctrines on (many variations of) the 2-categories of monoidal and symmetric monoidal categories, thus yielding a universal construction of colimits of $\omega$-chains in those categories. Since the processes of Petri nets may be axiomatized in terms of symmetric monoidal categories this result provides a universal construction of the algebra of infinite processes of a Petri net.
Conference or Workshop Item
||Event Dates: 1993
|Venue - Dates:
||Workshop on Topology and Completion in Semantics, France, 1993-01-01
||petri nets semantics, infinite computations, symmetric monoidal categories, omega inductive completion of categories
||Web & Internet Science
||28 Jan 2006
||17 Apr 2017 21:51
|Further Information:||Google Scholar|
Actions (login required)