--- a/text/appendixes/comparing_defs.tex Mon Jul 05 07:47:23 2010 -0600
+++ b/text/appendixes/comparing_defs.tex Mon Jul 05 10:27:51 2010 -0700
@@ -200,11 +200,10 @@
\subsection{$A_\infty$ $1$-categories}
\label{sec:comparing-A-infty}
-In this section, we make contact between the usual definition of an $A_\infty$ algebra
-and our definition of a topological $A_\infty$ algebra, from Definition \ref{defn:topological-Ainfty-category}.
+In this section, we make contact between the usual definition of an $A_\infty$ category
+and our definition of a topological $A_\infty$ $1$-category, from \S \ref{???}.
-We begin be restricting the data of a topological $A_\infty$ algebra to the standard interval $[0,1]$,
-which we can alternatively characterise as:
+That definition associates a chain complex to every interval, and we begin by giving an alternative definition that is entirely in terms of the chain complex associated to the standard interval $[0,1]$.
\begin{defn}
A \emph{topological $A_\infty$ category on $[0,1]$} $\cC$ has a set of objects $\Obj(\cC)$,
and for each $a,b \in \Obj(\cC)$, a chain complex $\cC_{a,b}$, along with
@@ -222,7 +221,7 @@
In the $X$-labeled case, we insist that the appropriate labels match up.
Saying we have an action of this operad means that for each labeled cell decomposition
$0 < x_1< \cdots < x_k < 1$, $a_0, \ldots, a_{k+1} \subset \Obj(\cC)$, there is a chain
-map $$\cC_{a_0,a_1} \tensor \cdots \tensor \cC_{a_k,a_{k+1}} \to \cC(a_0,a_{k+1})$$ and these
+map $$\cC_{a_0,a_1} \tensor \cdots \tensor \cC_{a_k,a_{k+1}} \to \cC_{a_0,a_{k+1}}$$ and these
chain maps compose exactly as the cell decompositions.
An action of $\CD{[0,1]}$ is compatible with an action of the cell decomposition operad
if given a decomposition $\pi$, and a family of diffeomorphisms $f \in \CD{[0,1]}$ which
--- a/text/comm_alg.tex Mon Jul 05 07:47:23 2010 -0600
+++ b/text/comm_alg.tex Mon Jul 05 10:27:51 2010 -0700
@@ -193,5 +193,6 @@
\item compare the topological computation for truncated polynomial algebra with \cite{MR1600246}
\item multivariable truncated polynomial algebras (at least mention them)
\item ideally, say something more about higher hochschild homology (maybe sketch idea for proof of equivalence)
+\item say something about SMCs as $n$-categories, e.g. Vect and K-theory.
\end{itemize}