# HG changeset patch # User Kevin Walker # Date 1283314171 25200 # Node ID 8e055b7c0768f2d5a2f76e7589e3b309ec18ea91 # Parent 96ec10a46ee1a4cc5a529f53ee8deb4e2f1418a4 minor diff -r 96ec10a46ee1 -r 8e055b7c0768 text/a_inf_blob.tex --- 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} diff -r 96ec10a46ee1 -r 8e055b7c0768 text/appendixes/comparing_defs.tex --- 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. diff -r 96ec10a46ee1 -r 8e055b7c0768 text/ncat.tex --- 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