Hom functor (source code)

= Hom functor
{wiki=Hom_functor}

In category theory, the Hom functor is a fundamental concept used to describe morphisms (arrows) between objects in a category. Specifically, given a category \\(\\mathcal\{C\}\\), the Hom functor allows us to examine the set of morphisms between two object types. \#\#\# Definition 1.