hence no projective space is an affine scheme (except for zero-dimensional projective spaces). Projective schemes, meaning those that arise as closed subschemes of a projective space, are the single most important family of schemes. Several generalizations of schemes have been introduced. Michael Artin defined an algebraic space as the quotient of a scheme by the equivalence relations that define étale morphisms. Algebraic spaces retain many of the useful properties of schemes while simultaneously being more flexible. For instance, the Keel–Mori theorem can be used to show that many moduli spaces are algebraic spaces. More general than an algebraic space is a Deligne–Mumford stack. DM stacks are similar to schemes, but they permit singularities that cannot be described solely in terms of polynomials. They play the same role for schemes that orbifolds do for manifolds. For example, the quotient of the affine plane by a finite group of rotations around the origin yields a Deligne–Mumford stack that is not a scheme or an algebraic space. Away from the origin, the quotient by the group action identifies finite sets of equally spaced points on a circle. But at the origin, the circle consists of only a single point, the origin itself, and the group action fixes this point. In the quotient DM stack, however, this point comes with the extra data of being a quotient. This kind of refined structure is useful in the theory of moduli spaces, and in fact, it was originally introduced to describe moduli of algebraic curves. A further generalization are the algebraic stacks, also called Artin stacks. DM stacks are limited to quotients by finite group actions. While this suffices for many problems in moduli theory, it is too restrictive for others, and Artin stacks permit more general quotients. Topoi In Grothendieck's work on the Weil conjectures, he introduced a new type of topology now called a Grothendieck topology. A topological space (in the ordinary sense) axiomatizes the notion of "nearness," making two points be nearby if and only if they lie in many of the same open sets. By contrast, a Grothendieck topology axiomatizes the notion of "covering". A covering of a space is a collection of subspaces that jointly contain all the information of the ambient space. Since sheaves are defined in terms of coverings, a Grothendieck topology can also be seen as an axiomatization of the theory of sheaves. Grothendieck's work on his topologies