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

    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.