79
Voted
ENTCS
2002
14 years 10 months ago
2002
The uniformity principle for traced monoidal categories has been introduced as a natural generalization of the uniformity principle (Plotkin's principle) for fixpoint operato...
62
Voted
ACS
2005
14 years 10 months ago
2005
We investigate limits in the 2-category of strict algebras and lax morphisms for a 2-monad. This includes both the 2-category of monoidal categories and monoidal functors as well ...
74
Voted
CORR
2008
Springer
14 years 11 months ago
2008
Springer
er presents an abstraction of Hoare logic to traced symmetric monoidal categories, a eral framework for the theory of systems. Our abstraction is based on a traced monoidal functor...
85
Voted
APN
2007
Springer
15 years 5 months ago
2007
Springer
We shall describe connections between Petri nets, quantum physics and category theory. The view of Net theory as a kind of discrete physics has been consistently emphasized by Carl...