Hom functor of an ∞-category