Remark 58.64.2. The equivalences of Lemma 58.64.1 are compatible with pullbacks. More precisely, suppose $f : Y \to X$ is a morphism of connected schemes. Let $\overline{y}$ be geometric point of $Y$ and set $\overline{x} = f(\overline{y})$. Then the diagram

is commutative, where the vertical arrow on the right comes from the continuous homomorphism $\pi _1(Y, \overline{y}) \to \pi _1(X, \overline{x})$ induced by $f$. This follows immediately from the commutative diagram in Fundamental Groups, Theorem 57.6.2.

## Comments (0)

There are also: