Definition 35.34.9. With \mathcal{U} = \{ U_ i \to S'\} _{i \in I}, \mathcal{V} = \{ V_ j \to S\} _{j \in J}, \alpha : I \to J, h : S' \to S, and g_ i : U_ i \to V_{\alpha (i)} as in Lemma 35.34.8 the functor
(Y_ j, \varphi _{jj'}) \longmapsto (g_ i^*Y_{\alpha (i)}, (g_ i \times g_{i'})^*\varphi _{\alpha (i)\alpha (i')})
constructed in that lemma is called the pullback functor on descent data.
Comments (0)
There are also: