Tensor-hom_adjunction loading ...