Hom functor

Functor mapping hom objects to an underlying category

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.

From Wikipedia, under CC BY-SA. More on occurri.