text/ncat.tex
changeset 324 a20e2318cbb0
parent 319 121c580d5ef7
child 328 bc22926d4fb0
--- a/text/ncat.tex	Wed Jun 02 16:51:40 2010 -0700
+++ b/text/ncat.tex	Wed Jun 02 22:09:52 2010 -0700
@@ -1044,7 +1044,7 @@
 Suppose $S$ is a topological space, with a subspace $T$. We can define a module $\pi_{\leq n}(S,T)$ so that on each marked $k$-ball $(B,N)$ for $k<n$ the set $\pi_{\leq n}(S,T)(B,N)$ consists of all continuous maps of pairs $(B,N) \to (S,T)$ and on each marked $n$-ball $(B,N)$ it consists of all such maps modulo homotopies fixed on $\bdy B \setminus N$. This is a module over the fundamental $n$-category $\pi_{\leq n}(S)$ of $S$, from Example \ref{ex:maps-to-a-space}. Modifications corresponding to Examples \ref{ex:maps-to-a-space-with-a-fiber} and \ref{ex:linearized-maps-to-a-space} are also possible, and there is an $A_\infty$ version analogous to Example \ref{ex:chains-of-maps-to-a-space} given by taking singular chains.
 \end{example}
 
-\subsection{Modules as boundary labels}
+\subsection{Modules as boundary labels (colimits for decorated manifolds)}
 \label{moddecss}
 
 Fix a topological $n$-category or $A_\infty$ $n$-category  $\cC$. Let $W$ be a $k$-manifold ($k\le n$),