 To every algebraic variety formula_1 one can associate a Grothendieck category formula_2, consisting of the quasi-coherent sheaves on formula_1.This category encodes all the relevant geometric information about formula_1, and formula_1 can be recovered from formula_2 (the Gabriel–Rosenberg reconstruction theorem).This example gives rise to one approach to noncommutative algebraic geometry