 The main utility of this notion is in the abundance of situations in mathematics where topological heuristics are very effective, but an honest topological space is lacking; it is sometimes possible to find a topos formalizing the heuristic.An important example of this programmatic idea is the étale topos of a scheme.A Grothendieck topos is a category "C" which satisfies any one of the following three properties.