## Categorical multirelations, linear logic and Petri nets, Issue 225 |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Common terms and phrases

adjunction Autonomous Categories bifunctor Brown and Gurr cartesian closed category categorical product categories GC category A/jvC category Sets category with finite Chu's category Chu's construction closed poset closed with products comonad Concurrency Theory coproducts corresponds define the tensor definition distinguished object distributive law Dominic Verity easy endofunctor following diagrams commute free commutative monoids free monoids Full Intuitionistic functor GAMEk generalisation Given two objects identity internal hom internal-hom Intuitionistic Linear Logic intuitively LAFONT linear negation Martin Hyland MjvC MNC we define model of Intuitionistic model Petri Nets models of Linear MoncC monoidal closed category monoidal closed structure monoidal structure morphism in A/jvC multiplication natural monad structure natural numbers natural transformations ordered monoid pairs of morphisms Proposition pullback sequence set of natural subobject subset symmetric monoidal closed take the transpose tensor product Theorem topos triples U,X,a truncated subtraction usual order UxX'v write