Definition 97.18.1. Let $S$ be a scheme. Let $\mathcal{X}$ be a category fibred in groupoids over $(\mathit{Sch}/S)_{fppf}$. We say $\mathcal{X}$ satisfies *condition (RS*)* if given a fibre product diagram

of $S$-algebras, with $B' \to B$ surjective with square zero kernel, the functor of fibre categories

is an equivalence of categories.

## Comments (0)

There are also: