In mathematics, specifically in category theory, hom-sets, i.e. sets of morphisms between objects, give rise to important functors to the category of sets. These functors are called hom-functors and have numerous applications in category theory and other branches of mathematics.
For all objects A and B in C we define two functors to the category of sets as follows:
|Hom(A,–) : C → Set||Hom(–,B) : C → Set|
|This is a covariant functor given by:||This is a contravariant functor given by:|
The functor Hom(–,B) is also called the functor of points of the object B.
Note that fixing the first argument of Hom naturally gives rise to a covariant functor and fixing the second argument naturally gives a contravariant functor. This is an artifact of the way in which one must compose the morphisms.
Both paths send g : A → B to f ∘ g ∘ h.
The commutativity of the above diagram implies that Hom(–,–) is a bifunctor from C × C to Set which is contravariant in the first argument and covariant in the second. Equivalently, we may say that Hom(–,–) is a covariant bifunctor
- Hom(–,–) : Cop × C → Set
where Cop is the opposite category to C. The notation HomC(–,–) is sometimes used for Hom(–,–) in order to emphasize the category forming the domain.
Referring to the above commutative diagram, one observes that every morphism
- h : A′ → A
gives rise to a natural transformation
- Hom(h,–) : Hom(A,–) → Hom(A′,–)
and every morphism
- f : B → B′
gives rise to a natural transformation
- Hom(–,f) : Hom(–,B) → Hom(–,B′)
Yoneda's lemma implies that every natural transformation between Hom functors is of this form. In other words, the Hom functors give rise to a full and faithful embedding of the category C into the functor category SetCOp (covariant or contravariant depending on which Hom functor is used).
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
to emphasize its product-like nature, or as
to emphasize its functorial nature, or sometimes merely in lower-case:
where denotes a natural isomorphism; the isomorphism is natural in both sites. Alternately, one has 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 .
Internal Homs, when chained together, form a language, called the internal language of the category. The most famous of these are simply typed lambda calculus, which is the internal language of Cartesian closed categories, and the linear type system, which is the internal language of closed symmetric monoidal categories.
Note that a functor of the form
- Hom(–, C) : Cop → Set
is a presheaf; likewise, Hom(C, –) is a copresheaf.
A functor F : C → Set that is naturally isomorphic to Hom(C, –) is called a representable functor or sometimes a representable copresheaf; likewise, a contravariant functor equivalent to Hom(–, C) might be called corepresentable.
Note that Hom(–, –) : Cop × C → Set is a profunctor, and, specifically, it is the identity profunctor
- Jacobson (2009), p. 149, Prop. 3.9.
- Mac Lane, Saunders (September 1998). Categories for the Working Mathematician (Second ed.). Springer. ISBN 0-387-98403-8.
- Goldblatt, Robert (2006) . Topoi, the Categorial Analysis of Logic (Revised ed.). Dover Publications. ISBN 978-0-486-45026-1. Retrieved 2009-11-25.
- Jacobson, Nathan (2009). Basic algebra 2 (2nd ed.). Dover. ISBN 978-0-486-47187-7.
- Hom functor in nLab
- Internal Hom in nLab