Any (involutive) quantale is embeddable into the quantale of V-endomorphism
s of a Girard bimodule over Q. Any Q-module (e-valued module) is representa
ble as a concrete submodule of the simple involutive quantale of V-endomorp
hisms of a Girard bimodule over Q.