Cote n° 162-5 · pages 9–45
· 5 diagrammes commutatifs · Tapis de Quillen : tapuscrit et copies de tapuscrits (1968, s.d.), notes manuscrites (1968), tiré à part (1968).
Datation de l’inventaire : 1968-[à partir de 1970]
Édition de démonstration
LaTeX source
\begin{tikzcd}
C_{00} & 0 \arrow[l] & 0 \arrow[l] \\
C_{10} \arrow[u] & C_{11} \arrow[l] \arrow[u] & 0 \arrow[l]
\end{tikzcd}LaTeX source
\begin{tikzcd}
& X' \arrow[dl, "g'"'] \arrow[dr, "f'"] & \\
X \arrow[dr, "f"'] & & Y' \arrow[dl, "g"] \\
& Y &
\end{tikzcd}LaTeX source
\begin{tikzcd}
X_{s} \arrow[r, "\alpha_{s}"] \arrow[d, "\alpha_{s}"'] & X \arrow[d, "{\Gamma = (p, \mathrm{id}_{X})}"] \\
X \arrow[r, "i_{s}"'] & S^{1} \times X
\end{tikzcd}LaTeX source
\begin{tikzcd}
& X' \arrow[dl, "g'"'] \arrow[dr, "f'"] & \\
X \arrow[dr, "f"'] & & Y' \arrow[dl, "g"] \\
& Y &
\end{tikzcd}LaTeX source
\begin{tikzcd}
X_{s} \arrow[r, "\alpha_{s}"] \arrow[d, "\alpha_{s}"'] & X \arrow[d, "{\Gamma = (p, \mathrm{id}_{X})}"] \\
X \arrow[r, "i_{s}"'] & S^{1} \times X
\end{tikzcd}