0P8A Definition 7.1.5. We say that ff is a morphism of 11-dimensional spaces if it satisfies any of the equivalent conditions of Lemma 7.1.4.