1 page matching pullback in this book
Results 1-1 of 1
What people are saying - Write a review
We haven't found any reviews in the usual places.
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