Hom-functor for ∞-categories