--- a/pnas/pnas.tex Wed Nov 17 16:30:24 2010 -0800
+++ b/pnas/pnas.tex Thu Nov 18 00:15:04 2010 -0800
@@ -359,7 +359,7 @@
(For $k=n$ in the plain (non-$A_\infty$) case, see below.)
\end{axiom}
-\begin{axiom}[Strict associativity] \label{nca-assoc}
+\begin{axiom}[Strict associativity] \label{nca-assoc}\label{axiom:associativity}
The gluing maps above are strictly associative.
Given any decomposition of a ball $B$ into smaller balls
$$\bigsqcup B_i \to B,$$
@@ -497,7 +497,7 @@
\subsection{The blob complex}
\subsubsection{Decompositions of manifolds}
-A \emph{ball decomposition} of $W$ is a
+A \emph{ball decomposition} of a $k$-manifold $W$ is a
sequence of gluings $M_0\to M_1\to\cdots\to M_m = W$ such that $M_0$ is a disjoint union of balls
$\du_a X_a$ and each $M_i$ is a manifold.
If $X_a$ is some component of $M_0$, its image in $W$ need not be a ball; $\bd X_a$ may have been glued to itself.
@@ -536,7 +536,7 @@
\psi_{\cC;W}(x) \subset \prod_a \cC(X_a)\spl
\end{equation*}
where the restrictions to the various pieces of shared boundaries amongst the cells
-$X_a$ all agree (this is a fibered product of all the labels of $n$-cells over the labels of $n-1$-cells). When $k=n$, the `subset' and `product' in the above formula should be interpreted in the appropriate enriching category.
+$X_a$ all agree (this is a fibered product of all the labels of $k$-cells over the labels of $k-1$-cells). When $k=n$, the `subset' and `product' in the above formula should be interpreted in the appropriate enriching category.
If $x$ is a refinement of $y$, the map $\psi_{\cC;W}(x) \to \psi_{\cC;W}(y)$ is given by the composition maps of $\cC$.
\end{defn}
@@ -545,9 +545,9 @@
\subsubsection{Colimits}
-Our definition of an $n$-category is essentially a collection of functors defined on $k$-balls (and homeomorphisms) for $k \leq n$ satisfying certain axioms. It is natural to consider extending such functors to the larger categories of all $k$-manifolds (again, with homeomorphisms). In fact, the axioms stated above explictly require such an extension to $k$-spheres for $k<n$.
+Our definition of an $n$-category is essentially a collection of functors defined on $k$-balls (and homeomorphisms) for $k \leq n$ satisfying certain axioms. It is natural to consider extending such functors to the larger categories of all $k$-manifolds (again, with homeomorphisms). In fact, the axioms stated above explicitly require such an extension to $k$-spheres for $k<n$.
-The natural construction achieving this is the colimit.
+The natural construction achieving this is the colimit. For an $n$-category $\cC$, we denote the extension to all manifolds by $\cl{\cC}$. On a $k$-manifold $W$, with $k \leq n$, this is defined to be the colimit of the function $\psi_{\cC;W}$. Note that Axioms \ref{axiom:composition} and \ref{axiom:associativity} imply that $\cl{\cC}(X) \iso \cC(X)$ when $X$ is a $k$-ball with $k<n$. Recall that given boundary conditions $c \in \cl{\cC}(\bdy X)$, for $X$ an $n$-ball, the set $\cC(X;c)$
\nn{continue}
\nn{Mention that the axioms for $n$-categories can be stated in terms of decompositions of balls?}