The tensor product of functions; satellites; and derived functors