--- a/diagrams/latex2pdf/defontify.tex Sat May 29 15:01:43 2010 -0700
+++ b/diagrams/latex2pdf/defontify.tex Sat May 29 15:01:53 2010 -0700
@@ -17,6 +17,8 @@
\newcommand{\cN}{\mathcal{N}}
$N_0 N_1 N_2 N_3 M_0 M_1 M_2 M_3 I$
+$R_0 R_4$
+
$n-\abs{\Gamma}$ edges
$v$
Binary file diagrams/pdf/deligne/manifolds.pdf has changed
--- a/text/deligne.tex Sat May 29 15:01:43 2010 -0700
+++ b/text/deligne.tex Sat May 29 15:01:53 2010 -0700
@@ -92,8 +92,9 @@
\begin{itemize}
\item If $g:R_i\to R_i$ is a homeomorphism, we can replace
\[
- (\ldots, f_{i-1}, f_i, \ldots) \to (\ldots, g\circ f_{i-1}, f_i\circ g^{-1}, \ldots) .
+ (\ldots, f_{i-1}, f_i, \ldots) \to (\ldots, g\circ f_{i-1}, f_i\circ g^{-1}, \ldots),
\]
+leaving the $M_i$, $N_i$ and $R_i$ fixed.
(See Figure xxx.)
\item If $M_i = M'_i \du M''_i$ and $N_i = N'_i \du N''_i$ (and there is a
compatible disjoint union of $\bd M = \bd N$), we can replace