You are not currently logged in.
Access your personal account or get JSTOR access through your library or other institution:
If You Use a Screen ReaderThis content is available through Read Online (Free) program, which relies on page scans. Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.
Embedding of Closed Categories Into Monoidal Closed Categories
Miguel L. Laplaza
Transactions of the American Mathematical Society
Vol. 233 (Oct., 1977), pp. 85-91
Published by: American Mathematical Society
Stable URL: http://www.jstor.org/stable/1997823
Page Count: 7
Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.
Preview not available
S. Eilenberg and G. M. Kelly have defined a closed category as a category with internal homomorphism functor, left Yoneda natural arrows, unity object and suitable coherence axioms. A monoidal closed category is a closed category with an associative tensor product which is adjoint to the int-hom. This paper proves that a closed category can be embedded in a monoidal closed category: the embedding preserves any associative tensor product which may exist. Besides the usual tools of the theory of closed categories the proof uses the results of B. Day on promonoidal structures.
Transactions of the American Mathematical Society © 1977 American Mathematical Society