--- a/text/ncat.tex Tue Dec 13 07:57:01 2011 -0800
+++ b/text/ncat.tex Tue Dec 13 09:13:41 2011 -0800
@@ -1066,7 +1066,7 @@
}
Recall the category $\bbc$ of balls with boundary conditions.
-Note that the morphisms $\Homeo(X;c \to X'; c')$ from $(X, c)$ to $(X', c')$ form a topological space.
+Note that the set of morphisms $\Homeo(X;c \to X'; c')$ from $(X, c)$ to $(X', c')$ is a topological space.
Let $\cS$ be an appropriate $\infty$-category (e.g.\ chain complexes)
and let $\cJ$ be an $\infty$-functor from topological spaces to $\cS$
(e.g.\ the singular chain functor $C_*$).