--- a/text/ncat.tex Mon May 31 23:42:37 2010 -0700
+++ b/text/ncat.tex Tue Jun 01 11:34:03 2010 -0700
@@ -74,7 +74,7 @@
We will concentrate on the case of PL unoriented manifolds.
(The ambitious reader may want to keep in mind two other classes of balls.
-The first is balls equipped with a map to some other space $Y$.
+The first is balls equipped with a map to some other space $Y$. \todo{cite something of Teichner's?}
This will be used below to describe the blob complex of a fiber bundle with
base space $Y$.
The second is balls equipped with a section of the the tangent bundle, or the frame
@@ -107,7 +107,7 @@
homeomorphisms to the category of sets and bijections.
\end{prop}
-We postpone the proof of this result until after we've actually given all the axioms. Note that defining this functor for some $k$ only requires the data described in Axiom \ref{axiom:morphisms} at level $k$, along with the data described in other Axioms at lower levels.
+We postpone the proof of this result until after we've actually given all the axioms. Note that defining this functor for some $k$ only requires the data described in Axiom \ref{axiom:morphisms} at level $k$, along with the data described in the other Axioms at lower levels.
%In fact, the functors for spheres are entirely determined by the functors for balls and the subsequent axioms. (In particular, $\cC(S^k)$ is the colimit of $\cC$ applied to decompositions of $S^k$ into balls.) However, it is easiest to think of it as additional data at this point.