Definition 101.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.
Comments (2)
Comment #3223 by typo on
Comment #3325 by Johan on
There are also: