Some categories may possess a functor that behaves like a Hom functor, but takes values in the category C itself. Such a functor is referred to as the internal Hom functor, and is often written as
to emphasize its product-like nature, or as
to emphasize its functorial nature, or sometimes merely in lower-case:
Categories that possess an internal Hom functor are referred to as closed categories. The forgetful functor on such categories takes the internal Hom functor to the external Hom functor. That is,
where denotes a natural isomorphism; the isomorphism is natural in both sites. Alternately, one has that
- ,
where I is the unit object of the closed category. For the case of a closed monoidal category, this extends to the notion of currying, namely, that
where is a bifunctor, the internal product functor defining a monoidal category. The isomorphism is natural in both X and Z. In other words, in a closed monoidal category, the internal hom functor is an adjoint functor to the internal product functor. The object is called the internal Hom. When is the Cartesian product, the object is called the exponential object, and is often written as .
Read more about this topic: Hom Functor
Famous quotes containing the word internal:
“If the Revolution has the right to destroy bridges and art monuments whenever necessary, it will stop still less from laying its hand on any tendency in art which, no matter how great its achievement in form, threatens to disintegrate the revolutionary environment or to arouse the internal forces of the Revolution, that is, the proletariat, the peasantry and the intelligentsia, to a hostile opposition to one another. Our standard is, clearly, political, imperative and intolerant.”
—Leon Trotsky (1879–1940)