Add hom functor
Add Profunctor
Add full and faithful
Add {co,contra}variant hom functors
Merge pull request #235 from JasonGross/hom-functor

Hom functor