If You Use a Screen Reader
This 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.
Journal Article
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
DOI: 10.2307/1997823
https://www.jstor.org/stable/1997823
Page Count: 7
You can always find the topics here!
Topics: Functors, Tensors, Homomorphisms, Adjoints, Commutativity
Were these topics helpful?
Select the topics that are inaccurate.
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.
Abstract
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