Cote n° 156-6 · pages 11–87
· 7 commutative diagrams · [Chapitre] VI. Analysis situs (deuxième mouture) : notes manuscrites (18-20/06/1986).
Inventory dating : 1986
Édition de démonstration
LaTeX source
\begin{tikzcd}[column sep=small]
& & G \mathrel{\triangleleft} F \arrow[d, Rightarrow] & & \\
G \preccurlyeq F \arrow[dr, Rightarrow] & & G \leq F \arrow[dl, Rightarrow] \arrow[dr, Rightarrow] & & G \parallel F \arrow[dl, Rightarrow] \\
& G \ll F & & G \between F &
\end{tikzcd}LaTeX source
\begin{tikzcd}
\mathrm{Omb}\, G \arrow[r, hook] \arrow[d, "\varphi_G"'] & \mathrm{Omb}\, F \arrow[d, "\varphi_F"] \\
\widetilde{G} \arrow[r, "f"] & \widetilde{F}
\end{tikzcd}LaTeX source
\begin{tikzcd}
\mathfrak{F}_{\mathcal{M}} \arrow[r, "\sim"] \arrow[d, no head, "\cap" description] & \widetilde{\mathfrak{F}} \arrow[d, no head, "\cap" description] \\
\mathfrak{P}(\mathfrak{P}(\mathcal{M})) & \mathfrak{P}(\mathcal{M})
\end{tikzcd}LaTeX source
\begin{tikzcd}
\widetilde{F} \arrow[d, "{\varphi_{f,F'} = \varphi}"] \\
\widetilde{F}'
\end{tikzcd}LaTeX source
\begin{tikzcd}
\mathcal{M} \arrow[d, "\varphi"] \\
\mathcal{M}'
\end{tikzcd}LaTeX source
\begin{tikzcd}
F' \arrow[r, no head, "\ll" description] & F \\
G' \arrow[u, no head, "\leq" description] \arrow[r, no head, "\ll" description] & G \arrow[u, no head, "\leq" description]
\end{tikzcd}LaTeX source
\begin{tikzcd}
\widetilde{G'} \arrow[r, hook] \arrow[d, "\varphi|\widetilde{G'}"'] & \widetilde{F'} \arrow[d, "\varphi"] \\
\widetilde{G} \arrow[r, hook] & \widetilde{F}
\end{tikzcd}