Preliminaries. Categories. Functors. Diagrams. Naturality and Sketches. Products and Sums. Catesian Closed Categories. Finite Discrete Sketches. Limits and Colimits. More About Sketches. Fibrations.… Expand

It turns out, for example, that one can in many cases construct models of the full linear logic from Chu’s construction applied to a cartesian closed category.Expand

This paper is concerned with two problems which, although not apparently closely related, are solved in part by the same methods. The first problem is: given a bicomplete (=comple te and cocomplete)… Expand

We nd the injective hulls of partially ordered monoids in the category whose objects are po-monoids and submultiplicative order-preserving functions. These injective hulls are with respect to a… Expand