Tensor-hom adjunction

ID: tensor-hom-adjunction

New to topics? Read the docs here!