Skip to main content
Concept

Tensor-hom adjunction