Injective hulls of partially ordered monoids
J. Lambek Michael Barr, John F. Kennison, Robert M. Raphael · Theory and applications of categories · 2012
We find 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 special class of monics called "embeddings".We show as well that the injective objects with respect to these embeddings are precisely the quantales.The first two authors would like to thank NSERC of Canada for its support of this research.We would all like to thank McGill and Concordia Universities for partial support of Kennison's visits to Montreal.