Now let's talk about tensor products of $Z$-modules.

These can be fully and explicitly defined, by a formal construction involving a quotient of one set of symbolic terms modulo another, which I won't dig into here.

But to what extent can we still invoke our familiar pictures of multi-linear machines, arrays of coefficients, and hom sets?