diff -r 9faf1f7fad3e -r 32a76e8886d1 text/a_inf_blob.tex --- 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}