--- a/text/ncat.tex Sat Jul 17 20:57:46 2010 -0600
+++ b/text/ncat.tex Sun Jul 18 08:07:50 2010 -0600
@@ -1024,7 +1024,8 @@
In the $A_\infty$ case, enriched over chain complexes, the concrete description of the homotopy colimit
is more involved.
-%\nn{should probably rewrite this to be compatible with some standard reference}
+\nn{should change to less strange terminology: ``filtration" to ``simplex"
+(search for all occurrences of ``filtration")}
Define an $m$-sequence in $W$ to be a sequence $x_0 \le x_1 \le \dots \le x_m$ of permissible decompositions of $W$.
Such sequences (for all $m$) form a simplicial set in $\cell(W)$.
Define $\cl{\cC}(W)$ as a vector space via
@@ -2173,7 +2174,7 @@
arc (-90:-45:3);
\draw[fill] (150:1.5) circle (2pt) node[below=4pt] {$D'$};
\node[green!50!brown] at (-2,0) {\scalebox{2.0}{$f'\uparrow $}};
-\node[green!50!brown] at (0.2,0.8) {\scalebox{2.0}{$\psi^+\uparrow $}};
+\node[green!50!brown] at (0.2,0.8) {\scalebox{2.0}{$\psi^\dagger \uparrow $}};
\end{tikzpicture}
\end{equation*}
\caption{Moving $B$ from bottom to top}