# HG changeset patch
# User kevin@6e1638ff-ae45-0410-89bd-df963105f760
# Date 1266904152 0
# Node ID ef127ac682bd54b3bfe0e6bd69f7d100a9382e8a
# Parent  5200a0eac737204261f29b0e75b958557d7dca0f
...

diff -r 5200a0eac737 -r ef127ac682bd text/a_inf_blob.tex
--- a/text/a_inf_blob.tex	Mon Feb 22 15:32:27 2010 +0000
+++ b/text/a_inf_blob.tex	Tue Feb 23 05:49:12 2010 +0000
@@ -251,6 +251,28 @@
 
 
 \medskip
+
+The next theorem shows how to reconstruct a mapping space from local data.
+Let $T$ be a topological space, let $M$ be an $n$-manifold, 
+and recall the $A_\infty$ $n$-category $\pi^\infty_{\leq n}(T)$ 
+of Example \ref{ex:chains-of-maps-to-a-space}.
+Think of $\pi^\infty_{\leq n}(T)$ as encoding everything you would ever
+want to know about spaces of maps of $k$-balls into $T$ ($k\le n$).
+To simplify notation, let $\cT = \pi^\infty_{\leq n}(T)$.
+
+\begin{thm} \label{thm:map-recon}
+$\cB^\cT(M) \simeq C_*(\Maps(M\to T))$.
+\end{thm}
+\begin{proof}
+\nn{obvious map in one direction; use \ref{extension_lemma_b}; ...}
+\end{proof}
+
+\nn{should also mention version where we enrich over
+spaces rather than chain complexes; should comment on Lurie's (and others')  similar result
+for the $E_\infty$ case, and mention that our version does not require 
+any connectivity assumptions}
+
+\medskip
 \hrule
 \medskip
 
diff -r 5200a0eac737 -r ef127ac682bd text/ncat.tex
--- 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