 The Grothendieck topoi find applications in algebraic geometry; the more general elementary topoi are used in logic.Since the introduction of sheaves into mathematics in the 1940s, a major theme has been to study a space by studying sheaves on a space.This idea was expounded by Alexander Grothendieck by introducing the notion of a "topos".