--- a/text/ncat.tex Sat Jul 10 12:30:09 2010 -0600
+++ b/text/ncat.tex Sun Jul 11 14:31:56 2010 -0600
@@ -671,7 +671,7 @@
\begin{example}[Maps to a space]
\rm
\label{ex:maps-to-a-space}%
-Let $T$be a topological space.
+Let $T$ be a topological space.
We define $\pi_{\leq n}(T)$, the fundamental $n$-category of $T$, as follows.
For $X$ a $k$-ball with $k < n$, define $\pi_{\leq n}(T)(X)$ to be the set of
all continuous maps from $X$ to $T$.
@@ -713,8 +713,22 @@
Alternatively, we could equip the balls with fundamental classes.)
\end{example}
-The next example is only intended to be illustrative, as we don't specify which definition of a ``traditional $n$-category" we intend.
-Further, most of these definitions don't even have an agreed-upon notion of ``strong duality", which we assume here.
+\begin{example}[$n$-categories from TQFTs]
+\rm
+\label{ex:ncats-from-tqfts}%
+Let $\cF$ be a TQFT in the sense of \S\ref{sec:fields}: an $n$-dimensional
+system of fields (also denoted $\cF$) and local relations.
+Let $W$ be an $n{-}j$-manifold.
+Define the $j$-category $\cF(W)$ as follows.
+If $X$ is a $k$-ball with $k<j$, let $\cF(W)(X) \deq \cF(W\times X)$.
+If $X$ is a $j$-ball and $c\in \cl{\cF(W)}(\bd X)$,
+let $\cF(W)(X; c) \deq A_\cF(W\times X; c)$.
+\end{example}
+
+The next example is only intended to be illustrative, as we don't specify
+which definition of a ``traditional $n$-category" we intend.
+Further, most of these definitions don't even have an agreed-upon notion of
+``strong duality", which we assume here.
\begin{example}[Traditional $n$-categories]
\rm
\label{ex:traditional-n-categories}
@@ -1388,10 +1402,19 @@
We now give some examples of modules over topological and $A_\infty$ $n$-categories.
\begin{example}[Examples from TQFTs]
-\nn{need to add corresponding ncat example}
+\rm
+Continuing Example \ref{ex:ncats-from-tqfts}, with $\cF$ a TQFT, $W$ an $n{-}j$-manifold,
+and $\cF(W)$ the $j$-category associated to $W$.
+Let $Y$ be an $(n{-}j{+}1)$-manifold with $\bd Y = W$.
+Define a $\cF(W)$ module $\cF(Y)$ as follows.
+If $M = (B, N)$ is a marked $k$-ball with $k<j$ let
+$\cF(Y)(M)\deq \cF((B\times W) \cup (N\times Y))$.
+If $M = (B, N)$ is a marked $j$-ball and $c\in \cl{\cF(Y)}(\bd M)$ let
+$\cF(Y)(M)\deq A_\cF((B\times W) \cup (N\times Y); c)$.
\end{example}
\begin{example}
+\rm
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