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$ |

Revised on March 30, 2016 04:37:56
by Urs Schreiber
(31.55.43.247)