Definition, synonyms and related words
A functor from some category to the category of sets (Set) which is naturally isomorphic to a hom functor.