internal_hom_functor