A closed category, in the right monoidal sense, is a monoidal category in which tensoring on the right with any object 
has a right adjoint
functor, written ![[X,-]](/images/equations/ClosedCategory/Inline2.svg)
.
Consequently, morphisms 
correspond naturally to morphisms ![A->[X,Y]](/images/equations/ClosedCategory/Inline4.svg)
. Eilenberg and Kelly (1966)
also define a more general notion of closed category in which hom objects
and unit structure are specified directly, without assuming a monoidal product.
Closed Category
See also
Category, Functor, Tensor CategoryExplore with Wolfram|Alpha
References
Eilenberg, S. and Kelly, G. M. "Closed Categories." In Proceedings of the Conference on Categorical Algebra. New York: Springer-Verlag, pp. 421-562, 1966.Cite this as:
Weisstein, Eric W. "Closed Category." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/ClosedCategory.html