Elementary duality between left and right modules over a ring, especially its interpretation in terms of the relevant functor categories, is discussed, as is the relationship between these categories of functors and sorts in theories of modules. A topology on the set of indecomposable pure-injective modules over a ring is introduced. This topology is dual to the Ziegler topology and may be seen as a generalisation of the Zariski topology.