Exercice 1, § 4

Soient X et Y des espaces topologiques et soit $f: X\rightarrow Y$ une application continue. Soit $(T, p)$ un Y-espace. La donnée de descente canonique $\tau$ sur le X-espace $Z = X\times_YT$ est effective (IV, p. 385, prop. 1), l’application canonique $Z/R_{\tau}\rightarrow T$ est injective et continue. Elle n’est toutefois pas forcément surjective, ni stricte.