The Hom functor

Just a skeleton section