  Suitable duals of multimodules are introduced and used to provide
transposition contravariant right semi-adjunctions (and dualitites under
reflexivity). Several additional notions on multimodules are discussed:
generalized morphisms and involutions; tensor products and contractions; inner
products; first-order differential operators. A construction of an (involutive)
colored properad of multimodules is suggested.
