diff -r ba4f86b15ff0 -r c3c8fb292934 text/ncat.tex --- 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$.