Cote n° 29 · pages 26–214 · 71 commutative diagrams · Groupe fondamental [Autour de SGA 4 et SGA 7] : lettres (1959, 1967, 1969), tapuscrits et copies de tapuscrit annotés (s.d.), notes manuscrites (s.d.).
Inventory dating : 1959-1969
Édition de démonstration

batch 2 · p. 26 — read it beside the facsimile1 / 71
LaTeX source
\begin{tikzcd}
\underline{C}_S \arrow[r] \arrow[d] & \underline{C}_T \arrow[d] \\
\underline{Et}_S \arrow[r, "f^{\circ}"] & \underline{Et}_T
\end{tikzcd}
batch 2 · p. 26 — read it beside the facsimile2 / 71
LaTeX source
\begin{tikzcd}[column sep=huge]
\underline{C}_S \arrow[r] \arrow[d, "\underline{s}_S"'] & \underline{C}_T \arrow[d, "\underline{s}_T"] \\
(\mathrm{Sch})_{/S} \arrow[r, "X \mapsto X \times_S T"'] & (\mathrm{Sch})_{/T}
\end{tikzcd}
batch 2 · p. 26 — read it beside the facsimile3 / 71
LaTeX source
\begin{tikzcd}[column sep=huge]
\mathrm{Rev}^{\underline{R}_{(S)}}(S) \arrow[r] \arrow[d] & \mathrm{Rev}^{\underline{R}_{(T)}}(T) \arrow[d] \\
\mathrm{Rev}(S) \arrow[r, "X \mapsto X \times_S T"'] & \mathrm{Rev}(T)
\end{tikzcd}
batch 3 · p. 41 — read it beside the facsimile4 / 71
LaTeX source
\begin{tikzcd}
\hat{A}^{(x)} & & \hat{A}^{(y)} \\
& A \arrow[ul] \arrow[ur] &
\end{tikzcd}
batch 3 · p. 43 — read it beside the facsimile5 / 71
LaTeX source
\begin{tikzcd}
\mathrm{Coh}(\mathfrak{X}) & \mathrm{Coh}(X) \arrow[l, "\approx"'] \\
\mathrm{Coh}(\mathfrak{X})_{\mathrm{nilp}} \arrow[u] & \mathrm{Coh}(X)_{\mathrm{nilp}} \arrow[u]
\end{tikzcd}
batch 3 · p. 49 — read it beside the facsimile6 / 71
LaTeX source
\begin{tikzcd}
X \arrow[d] & X_1 \arrow[l] \arrow[d] \\
Y & Y_1 \arrow[l]
\end{tikzcd}
batch 4 · p. 61 — read it beside the facsimile7 / 71
LaTeX source
\begin{tikzcd}
X' \arrow[d, "p"] & \supset & D'_i \arrow[d] \\
X & \supset & D
\end{tikzcd}
batch 4 · p. 61 — read it beside the facsimile8 / 71
LaTeX source
\begin{tikzcd}
C \arrow[r] \arrow[d, hook'] & X \arrow[d, hook'] \\
V \arrow[r] & U
\end{tikzcd}
batch 4 · p. 61 — read it beside the facsimile9 / 71
LaTeX source
\begin{tikzcd}
C \times Y = C_Y \arrow[r] \arrow[d, hook'] & R \arrow[d, hook'] \\
V \times Y = V_Y \arrow[r] & P
\end{tikzcd}
batch 4 · p. 63 — read it beside the facsimile10 / 71
LaTeX source
\begin{tikzcd}
X' \arrow[d] \\
X
\end{tikzcd}
batch 4 · p. 64 — read it beside the facsimile11 / 71
LaTeX source
\begin{tikzcd}
X \arrow[d] \\
Y
\end{tikzcd}
batch 4 · p. 64 — read it beside the facsimile12 / 71
LaTeX source
\begin{tikzcd}
X'' \arrow[d, Rightarrow] \\
X' \arrow[d] \\
X \arrow[d] \\
{}
\end{tikzcd}
batch 4 · p. 64 — read it beside the facsimile13 / 71
LaTeX source
\begin{tikzcd}
Y' \arrow[r] \arrow[d] & X' \arrow[d] \\
Y \arrow[r, hook] \arrow[d] & X \arrow[d] \\
{} & \mathbf{P}^r
\end{tikzcd}
batch 4 · p. 64 — read it beside the facsimile14 / 71
LaTeX source
\begin{tikzcd}
X' \arrow[r, hook] \arrow[d] & \bar X' \arrow[d] \\
X \arrow[r, hook] \arrow[d] & \bar X \arrow[dl] \\
\mathbf{P}^r
\end{tikzcd}
batch 4 · p. 64 — read it beside the facsimile15 / 71
LaTeX source
\begin{tikzcd}
Y \arrow[r] \arrow[d] & X \arrow[d] \\
H \arrow[r] & \mathbf{P}^r
\end{tikzcd}
batch 4 · p. 66 — read it beside the facsimile16 / 71
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
X'_u \arrow[r] \arrow[d] & X' \arrow[d] \\
X_u \arrow[r] \arrow[d] & X_K \arrow[r] \arrow[d] & X \arrow[d] \\
L_u \arrow[r] & \mathbf{P}^r_K \arrow[r] & \mathbf{P}^r_k
\end{tikzcd}
batch 4 · p. 67 — read it beside the facsimile17 / 71
LaTeX source
\begin{tikzcd}
& X'' \arrow[dl] \arrow[dr] & \\
X & & X'
\end{tikzcd}
batch 4 · p. 68 — read it beside the facsimile18 / 71
LaTeX source
\begin{tikzcd}
X_1 \arrow[d, "f"] & X_1 \arrow[l] \\
X_0 & \supset U_1 \supset U_0
\end{tikzcd}
batch 4 · p. 68 — read it beside the facsimile19 / 71
LaTeX source
\begin{tikzcd}
\pi_1(X_1) \arrow[d, "f_{*}"'] & \pi_1(U_1) \arrow[l] & \\
\pi_1(X_0) & \pi_1(U_0) \arrow[l] \arrow[r, "\sim"] \arrow[ul, "g_{*}"] & \pi_1(U_1)
\end{tikzcd}
batch 4 · p. 70 — read it beside the facsimile20 / 71
LaTeX source
\begin{tikzcd}
& X \arrow[d, "f"] \\
U \arrow[ur, "g"] \arrow[r, "i"'] & Y
\end{tikzcd}
batch 4 · p. 70 — read it beside the facsimile21 / 71
LaTeX source
\begin{tikzcd}
& \mathrm{Pic}(X) \arrow[dl, "g^{*}"] \\
\mathrm{Pic}(U) & \mathrm{Pic}(Y) \arrow[u, "f^{*}"'] \arrow[l, "i^{*}"]
\end{tikzcd}
batch 4 · p. 72 — read it beside the facsimile22 / 71
LaTeX source
\begin{tikzcd}
& T(X) \arrow[dl, "g^{*}"] \\
T(U) & T(Y) \arrow[u, "f^{*}"'] \arrow[l, "i^{*}"]
\end{tikzcd}
batch 4 · p. 76 — read it beside the facsimile23 / 71
LaTeX source
\begin{tikzcd}
C' \arrow[r, hook] \arrow[d] & X' \arrow[d] \\
C_{k(u)} \arrow[r, hook] & X \arrow[r, hook] & \mathbf{P}^r
\end{tikzcd}
batch 5 · p. 86 — read it beside the facsimile24 / 71
LaTeX source
\begin{tikzcd}
X \times_{S} S' \arrow[r] \arrow[d] & X \arrow[d] \\
S' \arrow[r] & S
\end{tikzcd}
batch 5 · p. 99 — read it beside the facsimile25 / 71
LaTeX source
\begin{tikzcd}
I_{o}(\struck{\ill{}}) \arrow[r] \arrow[d] & I'_{o} \arrow[d] \\
I(\struck{\ill{}}) \arrow[r] & I'
\end{tikzcd}
batch 6 · p. 106 — read it beside the facsimile26 / 71
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
 & \hat{Z} = \pi_{1}(Z') \arrow[dl] \arrow[dr] & \pi_{1}(Z'') = \hat{Z}
 \arrow[dl] \arrow[d] \\
\pi_{1}(X_{T'}) \arrow[dr] & \pi_{1}(X_{T''}) \arrow[d] & \pi_{1}(Z) =
\hat{Z}^{2} \arrow[dl] \\
 & \pi_{1}(X_{T}) &
\end{tikzcd}
batch 6 · p. 110 — read it beside the facsimile27 / 71
LaTeX source
\begin{tikzcd}
S & \hat{S} \arrow[l] \\
X \arrow[u] & \hat{X} \arrow[l] \arrow[u]
\end{tikzcd}
batch 6 · p. 120 — read it beside the facsimile28 / 71
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
G_{\xi} \arrow[r, "\phi"] & H_{y} \\
\prod_{\ell} \underline{Z}_{\ell}(1)(\bar{x})^{C} \arrow[u] \arrow[r, "N"] &
\prod_{\ell} \underline{Z}_{\ell}(1)(\bar{y})^{C'} \arrow[u]
\end{tikzcd}
batch 7 · p. 130 — read it beside the facsimile29 / 71
LaTeX source
\begin{tikzcd}
X \arrow[d, "f"] \\
S
\end{tikzcd}
batch 7 · p. 134 — read it beside the facsimile30 / 71
LaTeX source
\begin{tikzcd}
X(s) \arrow[d] & X(t) \arrow[l, "\varphi_{st}"'] \arrow[d] \\
\operatorname{Spec}(\mathcal{O}_{s}) & \operatorname{Spec}(\mathcal{O}_{t}) \arrow[l]
\end{tikzcd}
batch 7 · p. 134 — read it beside the facsimile31 / 71
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
X(s) \arrow[d] & X \arrow[l] \arrow[d] & X \times_{U} \operatorname{Spec}(\mathcal{O}_{t}) \arrow[l] \arrow[d] \arrow[r, dashed] & X(t) \\
\operatorname{Spec}(\mathcal{O}_{s}) \arrow[r] & U & \operatorname{Spec}(\mathcal{O}_{t}) \arrow[l] &
\end{tikzcd}
batch 7 · p. 138 — read it beside the facsimile32 / 71
LaTeX source
\begin{tikzcd}
(P, \xi) \arrow[r] & (Q, \eta) \\
& (P', \xi') \arrow[u]
\end{tikzcd}
batch 7 · p. 138 — read it beside the facsimile33 / 71
LaTeX source
\begin{tikzcd}
G \arrow[r, "{(u,v)}"] & G' \times G' \\
& G' \arrow[u]
\end{tikzcd}
batch 7 · p. 140 — read it beside the facsimile34 / 71
LaTeX source
\begin{tikzcd}
G \arrow[r, "{(u,v)}"] & G' \times G' \\
H \arrow[u] \arrow[r] & G' \arrow[u]
\end{tikzcd}
batch 7 · p. 140 — read it beside the facsimile35 / 71
LaTeX source
\begin{tikzcd}
(P, \xi) \arrow[r] & (Q, \eta) \\
(R, \lambda) \arrow[u] \arrow[r] & (P', \xi') \arrow[u]
\end{tikzcd}
batch 8 · p. 141 — read it beside the facsimile36 / 71
LaTeX source
\begin{tikzcd}[column sep=large]
P \arrow[r, "\mathrm{can}"] \arrow[rr, bend right=30, "\mathrm{can}"'] & P \times_u G' \arrow[r, "w"] & P \times_v G'
\end{tikzcd}
batch 8 · p. 144 — read it beside the facsimile37 / 71
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
(p_1 p_{12})^{-1}(E) \arrow[r] \arrow[d] & (p_2 p_{12})^{-1}(E) = (p_1 p_{23})^{-1}(E) \arrow[d] \\
(p_1 p_{13})^{-1}(E) \arrow[r] & (p_2 p_{13})^{-1}(E) = (p_2 p_{23})^{-1}(E)
\end{tikzcd}
batch 8 · p. 144 — read it beside the facsimile38 / 71
LaTeX source
\begin{tikzcd}[column sep=large]
E \arrow[r, "A_{\alpha'}"] \arrow[d, "a'_{\beta}"'] & E \arrow[r, "a''_{\beta}", "\sim"'] & E \arrow[d, "A_{\alpha''}"] \\
E \arrow[r, "A_{\alpha'''}"'] & E \arrow[r, "a'''_{\beta}"', "\sim"] & E
\end{tikzcd}
batch 8 · p. 146 — read it beside the facsimile39 / 71
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small]
& R_0 \arrow[d] & R_1 \arrow[d] & R_2 \arrow[d] \\
S & S' \arrow[l] & S'' \arrow[l] & S''' \arrow[l]
\end{tikzcd}
batch 8 · p. 149 — read it beside the facsimile40 / 71
LaTeX source
\begin{tikzcd}[row sep=small, column sep=large]
X \arrow[d] & \\
S & S'
\end{tikzcd}
batch 8 · p. 150 — read it beside the facsimile41 / 71
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
\pi_1(X \times_S Y) & & \\
\pi_1(X) \arrow[d, "\mathrm{surj}"'] & \pi_1(Y) \arrow[dl, "\mathrm{surj}"] & \pi_1(X') \arrow[d] \\
\pi_1(S) \arrow[rr] & & \pi_1(S')
\end{tikzcd}
batch 8 · p. 150 — read it beside the facsimile42 / 71
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
& \pi_1(X) \times_{\pi_1(S)} \pi_1(Y) \arrow[dl] \arrow[dr] & \\
\pi_1(X) \arrow[dr, "\mathrm{surj}"'] & & \pi_1(Y) \arrow[dl] \\
& \pi_1(S) &
\end{tikzcd}
batch 8 · p. 150 — read it beside the facsimile43 / 71
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
& \operatorname{Im}(\pi_1(\bar{X}_s) \to \pi_1(X)) \arrow[d, no head] & & & \\
e \arrow[r] & \operatorname{Ker}[\pi_1(X) \to \pi_1(S)] \arrow[r, "\sim"] & \pi_1(X) \times_{\pi_1(S)} \pi_1(Y) \arrow[r] & \pi_1(Y) \arrow[r] & e \\
e \arrow[r] & \operatorname{Ker}[\pi_1(X \times_S Y) \to \pi_1(Y)] \arrow[u] \arrow[d, no head] \arrow[r] & \pi_1(X \times_S Y) \arrow[u] \arrow[r] & \pi_1(Y) \arrow[u] \arrow[r] & e \\
& \operatorname{Im}(\pi_1(\bar{X}_s) \to \pi_1(X \times_S Y)) & & &
\end{tikzcd}
batch 8 · p. 150 — read it beside the facsimile44 / 71
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small]
\bar{X}_s \arrow[r] \arrow[d, no head] & X \times_S Y \arrow[d] \\
\bar{X}_s \arrow[r] & X \arrow[d] \\
& S
\end{tikzcd}
batch 8 · p. 150 — read it beside the facsimile45 / 71
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small]
\pi_1(\bar{X}_s) \arrow[r] \arrow[d, no head] & \pi_1(X \times_S Y) \arrow[d] \\
\pi_1(\bar{X}_s) \arrow[r] & \pi_1(X) \arrow[d] \\
& \pi_1(S)
\end{tikzcd}
batch 8 · p. 154 — read it beside the facsimile46 / 71
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small]
X \arrow[dr] & \\
& X' = X/G \arrow[d] \\
& Y \ni y
\end{tikzcd}
batch 8 · p. 154 — read it beside the facsimile47 / 71
LaTeX source
\begin{tikzcd}[row sep=small]
k(x') \arrow[d, no head] \\
k(x) \arrow[d, no head] \\
k(y)
\end{tikzcd}
batch 8 · p. 158 — read it beside the facsimile48 / 71
LaTeX source
\begin{tikzcd}
\xi \arrow[r, "x"] \arrow[d] & X \arrow[d] \\
\xi' \arrow[r, "x'"'] & X'
\end{tikzcd}
batch 9 · p. 162 — read it beside the facsimile49 / 71
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small]
& X \arrow[d] \\
S & T \arrow[l]
\end{tikzcd}
batch 9 · p. 175 — read it beside the facsimile50 / 71
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
\widetilde{\widetilde{X}}{}^i \arrow[d] & \\
\widetilde{X}^i \arrow[d] & \widetilde{X} \arrow[d, no head] \\
X^i \arrow[r] & X
\end{tikzcd}
batch 9 · p. 176 — read it beside the facsimile51 / 71
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
X \arrow[d] & X' \arrow[l] \arrow[d] & X'' \arrow[l, bend left=12]
  \arrow[l, bend right=12] \arrow[d] \\
Y & Y' \arrow[l] & Y'' \arrow[l, bend left=12] \arrow[l, bend right=12]
\end{tikzcd}
batch 9 · p. 176 — read it beside the facsimile52 / 71
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
\pi_1(Y) & \pi_1(Y') \arrow[l] & \pi_1(Y'') \arrow[l, bend left=12]
  \arrow[l, bend right=12] \arrow[d] & \pi_1(Y''') \arrow[l, bend left=18]
  \arrow[l] \arrow[l, bend right=18] \\
& & \mathfrak{z} &
\end{tikzcd}
batch 9 · p. 180 — read it beside the facsimile53 / 71
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
Y & X_0^0 \arrow[l, dashed] & X_1^1 \arrow[l, bend left=12]
  \arrow[l, bend right=12] & X_2^2 \arrow[l, bend left=20] \arrow[l]
  \arrow[l, bend right=20] \\
\xi \arrow[u] & X_0^{\xi} \arrow[l] \arrow[u] & X_1^{\xi}
  \arrow[l, bend left=12] \arrow[l, bend right=12] \arrow[u] & X_2^{\xi}
  \arrow[l, bend left=20] \arrow[l] \arrow[l, bend right=20] \arrow[u] \\
& K_0^0 & K_1^1 \arrow[l, bend left=12] \arrow[l, bend right=12] & K_2^2
  \arrow[l, bend left=20] \arrow[l] \arrow[l, bend right=20] \\
& k_0^0 \arrow[u, "i_0"] & k_1^1 \arrow[l] \arrow[u, "i_1"] & k_2^2
  \arrow[l, bend left=12] \arrow[l, bend right=12] \arrow[u, "i_2"]
\end{tikzcd}
batch 10 · p. 181 — read it beside the facsimile54 / 71
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small]
\overline{K}_0 & \overline{K}_1 \arrow[l, bend left=12] \arrow[l, bend right=12]
  & \overline{K}_2 \arrow[l, bend left=20] \arrow[l] \arrow[l, bend right=20]
\end{tikzcd}
batch 10 · p. 182 — read it beside the facsimile55 / 71
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small]
F^0 \arrow[r, bend left=12] \arrow[r, bend right=12]
  & F^1 \arrow[r, bend left=20] \arrow[r] \arrow[r, bend right=20] & F^2
\end{tikzcd}
batch 10 · p. 183 — read it beside the facsimile56 / 71
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small]
\overline{K}_0 & \overline{K}_1 \arrow[l, bend left=12] \arrow[l, bend right=12]
  & \overline{K}_2 \arrow[l, bend left=20] \arrow[l] \arrow[l, bend right=20]
\end{tikzcd}
batch 10 · p. 184 — read it beside the facsimile57 / 71
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small]
K_0 & K_1 \arrow[l, bend left=12] \arrow[l, bend right=12]
\end{tikzcd}
batch 10 · p. 184 — read it beside the facsimile58 / 71
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small]
F^0 \arrow[r, bend left=12] \arrow[r, bend right=12]
  & F^1 \arrow[r, bend left=20] \arrow[r] \arrow[r, bend right=20] & F^2
\end{tikzcd}
batch 10 · p. 185 — read it beside the facsimile59 / 71
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
F^0 \arrow[r, bend left=12] \arrow[r, bend right=12] \arrow[d, "\xi^0"]
  & F^1 \arrow[r, bend left=20] \arrow[r] \arrow[r, bend right=20]
    \arrow[d, "\xi^1"] & F^2 \arrow[d, "\xi^2"] \\
f^0 \arrow[r, bend left=12] \arrow[r, bend right=12]
  & f^1 \arrow[r, bend left=20] \arrow[r] \arrow[r, bend right=20] & f^2
\end{tikzcd}
batch 10 · p. 185 — read it beside the facsimile60 / 71
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small]
K_0 & K_1 \arrow[l, bend left=12] \arrow[l, bend right=12]
  & K_2 \arrow[l, bend left=20] \arrow[l] \arrow[l, bend right=20]
\end{tikzcd}
batch 10 · p. 185 — read it beside the facsimile61 / 71
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small]
k_0 & k_1 \arrow[l, bend left=12] \arrow[l, bend right=12]
  & k_2 \arrow[l, bend left=20] \arrow[l] \arrow[l, bend right=20]
\end{tikzcd}
batch 10 · p. 186 — read it beside the facsimile62 / 71
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
& X'' \arrow[dl, "\text{fini}"'] \arrow[d] \\
X \arrow[d] & X' \\
Y &
\end{tikzcd}
batch 10 · p. 191 — read it beside the facsimile63 / 71
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small]
X_i & X'_i \arrow[l] \\
X \arrow[u] & X' \arrow[l] \arrow[u]
\end{tikzcd}
batch 10 · p. 191 — read it beside the facsimile64 / 71
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small]
X_i \arrow[d] & X_{i\alpha} \arrow[d] \\
X & X_{\alpha} \arrow[l]
\end{tikzcd}
batch 10 · p. 199 — read it beside the facsimile65 / 71
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small]
& \mathrm{Rev}\,\mathrm{Fl}_S \arrow[d] \\
\mathcal{G} \arrow[r] \arrow[d] & \mathrm{Fl}_S \\
\mathrm{Et}(S) &
\end{tikzcd}
batch 11 · p. 204 — read it beside the facsimile66 / 71
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small]
T \arrow[d, bend left=12] \arrow[d, bend right=12]
  & X \times T \arrow[d, bend left=12] \arrow[d, bend right=12] & \\
\varphi(M) \arrow[d]
  & X \times \varphi(M) \arrow[l, no head] \arrow[r] \arrow[d] & X_1 \\
e & X \arrow[l, no head] &
\end{tikzcd}
batch 11 · p. 205 — read it beside the facsimile67 / 71
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small]
& \varphi(M) \times_{\varphi} M' \arrow[dl] \arrow[dr] & \\
\varphi(M) & & \varphi(M')
\end{tikzcd}
batch 11 · p. 213 — read it beside the facsimile68 / 71
LaTeX source
\begin{tikzcd}[column sep=large]
X^P \arrow[r, hook, "\alpha_P"] & X^E
\end{tikzcd}
batch 11 · p. 213 — read it beside the facsimile69 / 71
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small]
X(1) \arrow[dr] & & X(2) \arrow[dl] \\
& y &
\end{tikzcd}
batch 11 · p. 214 — read it beside the facsimile70 / 71
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small]
X \arrow[d] & X \times_Y X = X' \arrow[l] \arrow[d] \\
Y & X = Y' \arrow[l, no head]
\end{tikzcd}
batch 11 · p. 214 — read it beside the facsimile71 / 71
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small]
Z'' \arrow[d]
  & Z \arrow[l, dashed] \arrow[d]
  & D \arrow[l, bend left=12] \arrow[l, bend right=12] \arrow[d] \\
Y & X \arrow[l]
  & X \times_Y X \arrow[l, bend left=12] \arrow[l, bend right=12]
\end{tikzcd}