Affine-target adjunction for schemes

ID: affine-target-adjunction-for-schemes

A morphism of schemes into an affine scheme is uniquely determined by its homomorphism on global sections. Conversely, a ring homomorphism restricts on every affine open subscheme of to a map into ; equality on affine covers of overlaps glues these maps. No quasi-compactness or affineness assumption on is needed.

New to topics? Read the docs here!