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.