Given two complete atomistic lattices L_1 and L_2, we define a set S(L_1,L_2)
of complete atomistic lattices by means of three axioms (natural regarding the
description of separated quantum compound systems), or in terms of a universal
property with respect to a given class of bimorphisms. We call the elements of
S(L_1,L_2) weak tensor products of L_1 and L_2. We prove that S(L_1,L_2) is a
complete lattice. We compare the bottom element with the separated product of
Aerts and with the box product of Graetzer and Wehrung. Similarly, we compare
the top element with the tensor products of Fraser, Chu and Shmuely. With some
additional hypotheses on L_1 and L_2 (true for instance if L_1 and L_2 are
moreover irreducible, orthocomplemented and with the covering property), we
characterize the automorphisms of weak tensor products in terms of those of L_1
and L_2.