derived tensor product

The derived functor of a tensor product functor. In the context of homological algebra this is traditionally denoted by *Tor*

homotopy | cohomology | homology | |
---|---|---|---|

$[S^n,-]$ | $[-,A]$ | $(-) \otimes A$ | |

category theory | covariant hom | contravariant hom | tensor product |

homological algebra | Ext | Ext | Tor |

enriched category theory | end | end | coend |

homotopy theory | derived hom space $\mathbb{R}Hom(S^n,-)$ | cocycles $\mathbb{R}Hom(-,A)$ | derived tensor product $(-) \otimes^{\mathbb{L}} A$ |

Last revised on March 30, 2016 at 04:37:56. See the history of this page for a list of all contributions to it.