1.Previous
3.Next

and possess a notion of localization. The Grothendieck topoi find applications in algebraic geometry, and more general elementary topoi are used in logic.

The mathematical field that studies topoi is called topos theory.

Grothendieck topos (topos in geometry)

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

1.Previous
3.Next