Modern model theory can be viewed as a subject obsessed with notions of dimension, with the key examples furnished by linear dimension on the one hand, and the dimension of an algebraic variety (or, from another point of view, transcendences degree) on the other. There are several rigorous, and not always equivalent, notions of abstract dimension in use. For historical reasons the one we use is...