2 ms·F is a left adjoint of G, and tautology below is a tensor-hom adjunction :)by gettingoverit 1y agoF is a left adjoint of G, and tautology below is a tensor-hom adjunction :)