Natural isomorphism making ⊗ left-adjoint to Hom. The reason Tor is a left-derived functor of ⊗ and Ext is a right-derived functor of Hom. In any closed symmetric monoidal abelian category.
Natural isomorphism making ⊗ left-adjoint to Hom. The reason Tor is a left-derived functor of ⊗ and Ext is a right-derived functor of Hom. In any closed symmetric monoidal abelian category.