 Morphism of affine varieties

A map between affine varieties is a morphism when its coordinate functions are restrictions of ambient polynomials. Pullback identifies these morphisms contravariantly with homomorphisms of their coordinate rings.