tensor-hom adjunction

1. REDIRECT Tensor–hom adjunction

{{Redirect category shell|

{{R from move}}

}}