The Ultimate Closed category - American History Information Guide and Reference

In mathematics, a closed category can be defined as a category V with an internal homomorphism functor $V^{op} \times V \to V$ , left Yoneda natural arrows $L: \left[B\ C\right] \to \left[\left[A\ B\right] \left[A\ C\right]\right]$ and a fixed object I of V such that there is a natural isomorphism $i_A: A \to \left[I\ A\right]$ and a natural transformation $j_A: I \to \left[A\ A\right].\,$

References

Eilenberg, S. & Kelly, G.M. Closed categories Proceedings of the Conference on Categorical Algebra. (La Jolla, 1965) Springer. 1966. pp. 421-562

Categories: Category theory

Last updated: 05-25-2005 17:09:45

Your American History Reference Guide! - Closed category

Closed category

References

Your American History Reference Guide!
- Closed category