in the other direction. Another example, more sophisticated, is that of affine schemes, for which the inclusions

and

may be different morphisms, where is a commutative ring and is an ideal of