text/ncat.tex
changeset 448 c3c8fb292934
parent 447 ba4f86b15ff0
child 456 a5d75e0f9229
--- 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$.