Morphism on Proj induced by a graded ring homomorphism (source code)

= Morphism on Proj induced by a graded ring homomorphism
{c}

A graded homomorphism $S\to T$ induces a morphism to $\operatorname{Proj}S$ on the open subset of $\operatorname{Proj}T$ where the inverse image of a prime does not contain $S_+$. On $D_+(\varphi(f))$ it is induced by $(S_f)_0\to(T_{\varphi(f)})_0$.