Definition 8.5.1. A stack in groupoids over a site $\mathcal{C}$ is a category $p : \mathcal{S} \to \mathcal{C}$ over $\mathcal{C}$ such that

1. $p : \mathcal{S} \to \mathcal{C}$ is fibred in groupoids over $\mathcal{C}$ (see Categories, Definition 4.35.1),

2. for all $U \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$, for all $x, y\in \mathop{\mathrm{Ob}}\nolimits (\mathcal{S}_ U)$ the presheaf $\mathit{Isom}(x, y)$ is a sheaf on the site $\mathcal{C}/U$, and

3. for all coverings $\mathcal{U} = \{ U_ i \to U\}$ in $\mathcal{C}$, all descent data $(x_ i, \phi _{ij})$ for $\mathcal{U}$ are effective.

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