e/Hom functor

Information
has gloss	eng: For each object B in C we define a contravariant functor :Hom(–,B) : C → Set as follows: Hom(–,B) maps each object X in C to the set of morphisms, Hom(X, B) Hom(–,B) maps each morphism h : X → Y to the function Hom(h, B) : Hom(Y, B) → Hom(X, B) given by g \mapsto g\circ h for each g in Hom(Y, B).
lexicalization	eng: Hom functor
lexicalization	eng: Hom-functor
instance of	e/Functor

Media
media:img	HomFunctor-01.png