generated at
tensor-hom adjunction