  This paper exposes the language of geometric contexts and elementary schemes,
which is a functorial formalism to study categories of geometric objects such
as schemes, topological manifolds, differential manifolds, analytic manifolds,
etc. Through the theory of Grothendieck topologies and geometric contexts,
geometry turns out to be the study of local properties which are stable under
base change.
