In mathematics, a closed category can be defined as a category V with an internal homomorphism functor 
, left Yoneda natural arrows ![L: \left[B\ C\right] \to \left[\left[A\ B\right] \left[A\ C\right]\right]](a/../upload/math/32221c8637871ec0fd1cc77c38365fac.png)
and a fixed object I of V such that there is a natural isomorphism ![i_A: A \to \left[I\ A\right]](a/../upload/math/49a90f2a3539fd3afa1e938249f2ae43.png)
and a natural transformation ![j_A: I \to \left[A\ A\right].\,](a/../upload/math/fb2f30f385350f093abb6f61fb5bcf23.png)
References
Eilenberg, S. & Kelly, G.M. Closed categories Proceedings of the Conference on Categorical Algebra. (La Jolla, 1965) Springer. 1966. pp. 421-562
Last updated: 05-25-2005 17:09:45
