Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

If you need an accessible version of this item please contact JSTOR User Support

Embedding of Closed Categories Into Monoidal Closed Categories

Miguel L. Laplaza
Transactions of the American Mathematical Society
Vol. 233 (Oct., 1977), pp. 85-91
DOI: 10.2307/1997823
Stable URL: http://www.jstor.org/stable/1997823
Page Count: 7
  • Read Online (Free)
  • Download ($30.00)
  • Subscribe ($19.50)
  • Cite this Item
If you need an accessible version of this item please contact JSTOR User Support
Embedding of Closed Categories Into Monoidal Closed Categories
Preview not available

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.

Page Thumbnails

  • Thumbnail: Page 
85
    85
  • Thumbnail: Page 
86
    86
  • Thumbnail: Page 
87
    87
  • Thumbnail: Page 
88
    88
  • Thumbnail: Page 
89
    89
  • Thumbnail: Page 
90
    90
  • Thumbnail: Page 
91
    91