nLab homotopy-homology-cohomology

	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$