Cote n° 134-2 · pages 2–73
· 8 commutative diagrams · [Chapitre I : Take off (pages 1 à 65) et table des matières provisoire] : tapuscrits annotés (19/02-22/02/1983), note manuscrite (s.d.), copies de lettre (1975, s.d.).
Inventory dating : 1975-[1983]
Édition de démonstration
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small]
\mathrm{I} & \mathrm{II} \arrow[r, Rightarrow] & \mathrm{III} \arrow[r, Rightarrow] & \mathrm{IV} \arrow[dd, Rightarrow] & \mathrm{V} \arrow[d, Rightarrow] \arrow[dr] & \\
& & & & \mathrm{VII} & \mathrm{VI} \\
& & & \mathrm{VIII} \arrow[d, Rightarrow] & & \\
& & & \mathrm{IX} & &
\end{tikzcd}LaTeX source
\begin{tikzcd}[column sep=small]
& Rf_!(\hat{\tilde{F}}) \arrow[dl] & \\
Rf_!(F) \arrow[rr] & & R\tilde{f}_*(\tilde{F}) \arrow[ul]
\end{tikzcd}LaTeX source
\begin{tikzcd}[column sep=tiny, row sep=2pt, nodes={font=\scriptsize}]
& \text{topos (or topological space} & \\
& \text{or semi-simplicial complex)} & \\
& \text{\emph{modulo} $n$-homotopy} \arrow[dddl, leftrightarrow] \arrow[dddr, leftrightarrow] & \\
& & \\
& & \\
\text{$n$-groupoids} & & \text{``special'' $n$-categories} \\
\text{(up to $n$-equivalence)} \arrow[rr, leftrightarrow] & & \text{(up to $n$-equivalence).}
\end{tikzcd}LaTeX source
\begin{tikzcd}[column sep=large]
{(\mathring{T} = T \setminus X_0 \simeq)\ \partial T} \arrow[r, "{j\ \text{(inclusion)}}"] \arrow[d, "{\text{fibration}\ p}"'] & {\tilde{X}_1\ (\simeq X_1)} \\
X_0 &
\end{tikzcd}LaTeX source
\begin{tikzcd}
\mathring{T} \arrow[r, "j'"] \arrow[d, "p'"'] & X_1 \\
X_0 &
\end{tikzcd}LaTeX source
\begin{tikzcd}
\mathring{T} \arrow[r] \arrow[d, "p''"'] & X_1 \\
T &
\end{tikzcd}LaTeX source
\begin{tikzcd}
\Delta \arrow[r, "j"] \arrow[d, "p"'] & X_1 \\
X_0 &
\end{tikzcd}LaTeX source
\begin{tikzcd}
\bullet \arrow[r] \arrow[d] & \bullet \\
\bullet &
\end{tikzcd}