Definition 93.12.3. Let $S$ be a scheme contained in $\mathit{Sch}_{fppf}$. The $2$-category of algebraic stacks over $S$ is the sub $2$-category of the $2$-category of categories fibred in groupoids over $(\mathit{Sch}/S)_{fppf}$ (see Categories, Definition 4.35.6) defined as follows:

1. Its objects are those categories fibred in groupoids over $(\mathit{Sch}/S)_{fppf}$ which are algebraic stacks over $S$.

2. Its $1$-morphisms $f : \mathcal{X} \to \mathcal{Y}$ are any functors of categories over $(\mathit{Sch}/S)_{fppf}$, as in Categories, Definition 4.32.1.

3. Its $2$-morphisms are transformations between functors over $(\mathit{Sch}/S)_{fppf}$, as in Categories, Definition 4.32.1.

There are also:

• 6 comment(s) on Section 93.12: Algebraic stacks

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).