equal
deleted
inserted
replaced
64 about complexes being homotopy equivalent. |
64 about complexes being homotopy equivalent. |
65 In all cases the complexes in question are free (and hence projective), |
65 In all cases the complexes in question are free (and hence projective), |
66 so it suffices to show that they are quasi-isomorphic. |
66 so it suffices to show that they are quasi-isomorphic. |
67 |
67 |
68 We claim that |
68 We claim that |
69 \begin{thm} \label{hochthm} |
69 \begin{thm} |
|
70 \label{thm:hochschild} |
70 The blob complex $\bc_*(S^1; C)$ on the circle is homotopy equivalent to the |
71 The blob complex $\bc_*(S^1; C)$ on the circle is homotopy equivalent to the |
71 usual Hochschild complex for $C$. |
72 usual Hochschild complex for $C$. |
72 \end{thm} |
73 \end{thm} |
73 |
74 |
74 This follows from two results. |
75 This follows from two results. |