Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)



Embedding of closed categories into monoidal closed categories

Author: Miguel L. Laplaza
Journal: Trans. Amer. Math. Soc. 233 (1977), 85-91
MSC: Primary 18D15
MathSciNet review: 0480686
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

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.

References [Enhancements On Off] (What's this?)

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 18D15

Retrieve articles in all journals with MSC: 18D15

Additional Information

Keywords: Closed category, monoidal category, monoidal closed category, monoidal biclosed category, internal homomorphism functor, tensor product, promonoidal structure
Article copyright: © Copyright 1977 American Mathematical Society