On the other hand, it appears that the size of $Hom(Z_a,Z_b)$ is the same as $Z_a \otimes Z_b$, so a homset-based understanding of the tensor product of modules may still remain.

Of course, the universal mapping property is always there for us -- but that is not what the question is about.