--- a/text/ncat.tex Sun Jul 18 08:07:50 2010 -0600
+++ b/text/ncat.tex Sun Jul 18 11:07:47 2010 -0600
@@ -822,6 +822,7 @@
This example will be used in Theorem \ref{thm:product} below, which allows us to compute the blob complex of a product.
Notice that with $F$ a point, the above example is a construction turning a topological
$n$-category $\cC$ into an $A_\infty$ $n$-category which we'll denote by $\bc_*(\cC)$.
+\nn{do we use this notation elsewhere (anymore)?}
We think of this as providing a ``free resolution"
of the topological $n$-category.
\nn{say something about cofibrant replacements?}
@@ -1414,6 +1415,15 @@
$\cF(Y)(M)\deq A_\cF((B\times W) \cup (N\times Y); c)$.
\end{example}
+\begin{example}[Examples from the blob complex] \label{bc-module-example}
+\rm
+In the previous example, we can instead define
+$\cF(Y)(M)\deq \bc_*^\cF((B\times W) \cup (N\times Y); c)$ (when $\dim(M) = n$)
+and get a module for the $A_\infty$ $n$-category associated to $\cF$ as in
+Example \ref{ex:blob-complexes-of-balls}.
+\end{example}
+
+
\begin{example}
\rm
Suppose $S$ is a topological space, with a subspace $T$.