ringed space morphism between schemes; locally a commutative ring homomorphism between coordinate rings
