Definition 35.34.7. With S, S', X, X', f, a, a', h as in Lemma 35.34.6 the functor
(V, \varphi ) \longmapsto f^*(V, \varphi )
constructed in that lemma is called the pullback functor on descent data.
Definition 35.34.7. With S, S', X, X', f, a, a', h as in Lemma 35.34.6 the functor
constructed in that lemma is called the pullback functor on descent data.
Comments (0)
There are also: