CAP_project icon indicating copy to clipboard operation
CAP_project copied to clipboard

Published 20 hours ago • verified publisher icon homalg-project

d&i InternalHomToTensorProduct*AdjunctionIsomorphism

Open mohamed-barakat opened this issue 9 months ago • 1 comments

and use it to derive TensorProductToInternalHom*AdjunctMorphismWithGivenInternalHom

this means that the counit (=evaluation) is enough to derive the entire Hom-tensor adjunction

mohamed-barakat avatar May 03 '24 21:05 mohamed-barakat