Remark. [00AN]

If and are smooth manifolds and is a continous map. Then is a morphism of manifolds (a smooth map) if and only if it is a morphism of ringed spaces with respect to the sheaves and of smooth functions on and .