diff -r e9fac1a6954b -r 62cd552bf8c9 blob1.tex --- a/blob1.tex Tue Jun 30 22:08:56 2009 +0000 +++ b/blob1.tex Sat Jul 04 06:48:22 2009 +0000 @@ -87,7 +87,7 @@ associated to $B^3$ (with appropriate boundary conditions). The coend is not an exact functor, so the exactness of the triangle breaks. \item The obvious solution to this problem is to replace the coend with its derived counterpart. -This presumably works fine for $S^1\times B^3$ (the answer being to Hochschild homology +This presumably works fine for $S^1\times B^3$ (the answer being the Hochschild homology of an appropriate bimodule), but for more complicated 4-manifolds this leaves much to be desired. If we build our manifold up via a handle decomposition, the computation would be a sequence of derived coends.