diff -r 4d2dad357a49 -r c9f41c18a96f text/a_inf_blob.tex --- 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