Topic summary
Internal hom
Extracted from the Wikipedia article Hom functor.
Internal Hom functor
Some categories may possess a functor that behaves like a Hom functor, but takes values in the category C itself, rather than Set. Such a functor is referred to as the internal Hom functor, and is often written as