Definition 105.5.1. We say $\mathcal{M}_{1, 1}$ is an *algebraic stack* if and only if

We have descent for objects for the étale topology on $\mathit{Sch}$.

The key fact holds.

there exists a surjective and smooth morphism $S \to \mathcal{M}_{1, 1}$.

## Comments (0)

There are also: