derived functor
homological construction in category theory
Tor functor
in homological algebra, the left derived functor of the tensor product of modules over a ring
derived tensor product
the left derived functor of the tensor product functor
homological construction in category theory