equal
deleted
inserted
replaced
2334 (This fails for $n=1$.) |
2334 (This fails for $n=1$.) |
2335 \end{proof} |
2335 \end{proof} |
2336 |
2336 |
2337 For $n=1$ we have to check an additional ``global" relations corresponding to |
2337 For $n=1$ we have to check an additional ``global" relations corresponding to |
2338 rotating the 0-sphere $E$ around the 1-sphere $\bd X$. |
2338 rotating the 0-sphere $E$ around the 1-sphere $\bd X$. |
2339 \nn{should check this global move, or maybe cite Frobenius reciprocity result} |
2339 But if $n=1$, then we are in the case of ordinary algebroids and bimodules, |
|
2340 and this is just the well-known ``Frobenius reciprocity" result for bimodules. |
|
2341 \nn{find citation for this. Evans and Kawahigashi?} |
2340 |
2342 |
2341 \medskip |
2343 \medskip |
2342 |
2344 |
2343 We have now defined $\cS(X; c)$ for any $n{+}1$-ball $X$ with boundary decoration $c$. |
2345 We have now defined $\cS(X; c)$ for any $n{+}1$-ball $X$ with boundary decoration $c$. |
2344 We must also define, for any homeomorphism $X\to X'$, an action $f: \cS(X; c) \to \cS(X', f(c))$. |
2346 We must also define, for any homeomorphism $X\to X'$, an action $f: \cS(X; c) \to \cS(X', f(c))$. |