--- a/text/a_inf_blob.tex Sun Mar 28 01:40:58 2010 +0000
+++ b/text/a_inf_blob.tex Mon Mar 29 05:41:28 2010 +0000
@@ -7,7 +7,7 @@
complex $\bc_*(M)$ to the be the homotopy colimit $\cC(M)$ of Section \ref{sec:ncats}.
\nn{say something about this being anticlimatically tautological?}
We will show below
-\nn{give ref}
+in Corollary \ref{cor:new-old}
that this agrees (up to homotopy) with our original definition of the blob complex
in the case of plain $n$-categories.
When we need to distinguish between the new and old definitions, we will refer to the
@@ -204,6 +204,7 @@
\medskip
\begin{cor}
+\label{cor:new-old}
The new-fangled and old-fashioned blob complexes are homotopic.
\end{cor}
\begin{proof}