external hom-functor

Let be a locally small category category, then the hom functor is defined as bifunctor

see also:

• covariant hom functor of points
• contravariant hom-functor