--- a/text/a_inf_blob.tex Tue Sep 21 07:37:41 2010 -0700
+++ b/text/a_inf_blob.tex Tue Sep 21 14:44:17 2010 -0700
@@ -282,7 +282,7 @@
or $M\to Y$, instead of an undecorated colimit with fancier $k$-categories over $Y$.
Information about the specific map to $Y$ has been taken out of the categories
and put into sphere modules and decorations.
-\nn{...}
+\nn{just say that one could do something along these lines}
%Let $F \to E \to Y$ be a fiber bundle as above.
%Choose a decomposition $Y = \cup X_i$
@@ -442,9 +442,4 @@
It is now easy to see that $\psi\circ\phi$ is the identity on the nose.
Another acyclic models argument shows that $\phi\circ\psi$ is homotopic to the identity.
(See the proof of Theorem \ref{thm:product} for more details.)
-\end{proof}
-
-\nn{maybe should also mention version where we enrich over
-spaces rather than chain complexes;}
-
-
+\end{proof}
\ No newline at end of file