--- a/text/a_inf_blob.tex Tue Aug 31 11:18:26 2010 -0700
+++ b/text/a_inf_blob.tex Tue Aug 31 21:09:31 2010 -0700
@@ -394,7 +394,7 @@
the same space of singular chains on maps from $M$ to $T$, with the additional hypothesis that $T$ is $n-1$-connected.
This extra hypothesis is not surprising, in view of the idea described in Example \ref{ex:e-n-alg}
that an $E_n$ algebra is roughly equivalent data to an $A_\infty$ $n$-category which
-is trivial at all but the topmost level.
+is trivial at levels 0 through $n-1$.
Ricardo Andrade also told us about a similar result.
\end{rem}
--- a/text/appendixes/comparing_defs.tex Tue Aug 31 11:18:26 2010 -0700
+++ b/text/appendixes/comparing_defs.tex Tue Aug 31 21:09:31 2010 -0700
@@ -594,7 +594,6 @@
Given a non-standard interval $J$, we define $\cC(J)$ to be
$(\Homeo(I\to J) \times A)/\Homeo(I\to I)$,
where $\beta \in \Homeo(I\to I)$ acts via $(f, a) \mapsto (f\circ \beta\inv, \beta_*(a))$.
-\nn{check this}
Note that $\cC(J) \cong A$ (non-canonically) for all intervals $J$.
We define a $\Homeo(J)$ action on $\cC(J)$ via $g_*(f, a) = (g\circ f, a)$.
The $C_*(\Homeo(J))$ action is defined similarly.
--- a/text/ncat.tex Tue Aug 31 11:18:26 2010 -0700
+++ b/text/ncat.tex Tue Aug 31 21:09:31 2010 -0700
@@ -2336,7 +2336,9 @@
For $n=1$ we have to check an additional ``global" relations corresponding to
rotating the 0-sphere $E$ around the 1-sphere $\bd X$.
-\nn{should check this global move, or maybe cite Frobenius reciprocity result}
+But if $n=1$, then we are in the case of ordinary algebroids and bimodules,
+and this is just the well-known ``Frobenius reciprocity" result for bimodules.
+\nn{find citation for this. Evans and Kawahigashi?}
\medskip