Definition 96.3.1. Let p : \mathcal{X} \to (\mathit{Sch}/S)_{fppf} be a category fibred in groupoids.
A presheaf on \mathcal{X} is a presheaf on the underlying category of \mathcal{X}.
A morphism of presheaves on \mathcal{X} is a morphism of presheaves on the underlying category of \mathcal{X}.
We denote \textit{PSh}(\mathcal{X}) the category of presheaves on \mathcal{X}.
Comments (0)