--- a/text/ncat.tex Mon Feb 22 15:32:27 2010 +0000
+++ b/text/ncat.tex Tue Feb 23 05:49:12 2010 +0000
@@ -572,9 +572,10 @@
Define $\pi^\infty_{\leq n}(T)(X; c)$ for an $n$-ball $X$ and $c \in \pi^\infty_{\leq n}(T)(\bdy X)$ to be the chain complex
$$C_*(\Maps_c(X\times F \to T)),$$ where $\Maps_c$ denotes continuous maps restricting to $c$ on the boundary,
and $C_*$ denotes singular chains.
+\nn{maybe should also mention version where we enrich over spaces rather than chain complexes}
\end{example}
-See ??? below, recovering $C_*(\Maps{M \to T})$ as (up to homotopy) the blob complex of $M$ with coefficients in $\pi^\infty_{\le n}(T)$.
+See \ref{thm:map-recon} below, recovering $C_*(\Maps{M \to T})$ as (up to homotopy) the blob complex of $M$ with coefficients in $\pi^\infty_{\le n}(T)$.
\begin{example}[Blob complexes of balls (with a fiber)]
\rm