symmetric monoidal (∞,1)-category of spectra
One thinks of the Hochschild complex as associated to a 1-category and a 1-manifold (the circle). It’s a fairly small complex, analogous to cellular homology. The blob complex for the same input data (1-category and circle) yields a quasi-isomorphic but much much larger chain complex, analogous to singular homology.
Its advantage over the Hochschild complex is that it is “local”. In higher dimensions this locality means that it is easy to (well-) define the blob complex of an n-category + n-manifold without choosing any sort of decomposition of the n-manifold.
There are two definitions. The second is more general, and is homotopy equivalent to the first when both are available. See references below for more details.
Define to be finite linear combinations of ”-string diagrams” drawn on .
Define to be finite linear combinations of triples , where is a ball, is a string diagram on , and is a linear combination of string diagrams on which evaluates to zero.
Define to be
Blob homology has some similarities with
It should be closely related to
A preprint is here:
Some notes appeared in the context of the