The hom functor, sending (X, Y) to the type X ⟶ Y.

category_theory.functor.hom

functor.hom is the hom-pairing, sending (X,Y) to X → Y, contravariant in X and covariant in Y.