Definition 100.28.1. Let $f : \mathcal{X} \to \mathcal{Y}$ be a morphism of algebraic stacks. We say $\mathcal{X}$ is a gerbe over $\mathcal{Y}$ if $\mathcal{X}$ is a gerbe over $\mathcal{Y}$ as stacks in groupoids over $(\mathit{Sch}/S)_{fppf}$, see Stacks, Definition 8.11.4. We say an algebraic stack $\mathcal{X}$ is a gerbe if there exists a morphism $\mathcal{X} \to X$ where $X$ is an algebraic space which turns $\mathcal{X}$ into a gerbe over $X$.

Comment #3223 by typo on

In the text between Definition 92.27.1 and Lemma 92.27.2 there is a reference to Lemma 92.27.7. The reference should be 92.27.8.

There are also:

• 2 comment(s) on Section 100.28: Gerbes

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).