  Multisorted modules, equivalently representations of quivers, equivalently
additive functors on preadditive categories, encompass a wide variety of
additive structures. In addition, every module has a natural and useful
multisorted extension by imaginaries. The model theory of multisorted modules
works just as for the usual, 1-sorted modules. A number of examples are
presented, some in considerable detail.
