Affines Schema/Moduln/Homomorphismus/Garbenversion/Fakt/Beweis

Beweis

Zu jedem muss wegen der Verträglichkeit mit den Restriktionen das kommutative Diagramm

vorliegen, wodurch die untere Abbildung eindeutig festgelegt ist. Durch diese Festlegung wird sodann ein eindeutiger Prägarbenhomomorphismus und über die Vergarbung ein eindeutiger Garbenhomomorphismus festgelegt.