--- a/text/comm_alg.tex Wed Aug 26 01:21:59 2009 +0000
+++ b/text/comm_alg.tex Wed Aug 26 02:35:24 2009 +0000
@@ -5,6 +5,12 @@
\nn{this should probably not be a section by itself. i'm just trying to write down the outline
while it's still fresh in my mind.}
+\nn{I strongly suspect that [blob complex
+for $M^n$ based on comm alg $C$ thought of as an $n$-category]
+is homotopy equivalent to [higher Hochschild complex for $M^n$ with coefficients in $C$].
+(Thomas Tradler's idea.)
+Should prove (or at least conjecture) that here.}
+
If $C$ is a commutative algebra it
can (and will) also be thought of as an $n$-category whose $j$-morphisms are trivial for
$j<n$ and whose $n$-morphisms are $C$.