Remark 59.65.3. The equivalences of Lemmas 59.65.1 and 59.65.2 are compatible with pullbacks. For example, 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 58.6.2. A similar result holds for the other cases.

## Comments (0)

There are also: