The composition of morphisms and in a category is the
morphism. Composition is associative and each object
has an identity morphism that acts as a left and right identity.
For schemes, composition is obtained by composing the
underlying continuous maps and the compatible maps of structure sheaves.