
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.
== Formal definition ==
Let C be a locally small category (i.e. a category for which hom-classes are actually sets and not proper classes).
For all objects A and B in C we define two functors to the category of sets as follows:
The functor Hom(–,B) is also called the functor of points of the object B.
Note that fixing the...