(Co)Limits of Schemes #
We construct various limits and colimits in the category of schemes.
- The existence of fibred products was shown in
Spec ℤis the terminal object.
- The preceding two results imply that
Schemehas all finite limits.
- The empty scheme is the (strict) initial object.
- Coproducts exists (and the forgetful functors preserve them).
instance AlgebraicGeometry.Scheme.hom_unique_of_empty_source (X : AlgebraicGeometry.Scheme) :