text/a_inf_blob.tex
changeset 225 32a76e8886d1
parent 222 217b6a870532
child 286 ff867bfc8e9c
--- 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}