Idea. [00BJ]

A scheme should have property if its structure morphism has property . This is part of the philosophy, that we should understand objects of a category by their interaction with other objects via morphisms. This principle will not hold for all properties of schemes that we define.