text/comm_alg.tex
changeset 117 b62214646c4f
parent 100 c5a43be00ed4
child 147 db91d0a8ed75
equal deleted inserted replaced
116:3f180943709f 117:b62214646c4f
     2 
     2 
     3 \section{Commutative algebras as $n$-categories}
     3 \section{Commutative algebras as $n$-categories}
     4 
     4 
     5 \nn{this should probably not be a section by itself.  i'm just trying to write down the outline 
     5 \nn{this should probably not be a section by itself.  i'm just trying to write down the outline 
     6 while it's still fresh in my mind.}
     6 while it's still fresh in my mind.}
       
     7 
       
     8 \nn{I strongly suspect that [blob complex
       
     9 for $M^n$ based on comm alg $C$ thought of as an $n$-category]
       
    10 is homotopy equivalent to [higher Hochschild complex for $M^n$ with coefficients in $C$].
       
    11 (Thomas Tradler's idea.)
       
    12 Should prove (or at least conjecture) that here.}
     7 
    13 
     8 If $C$ is a commutative algebra it
    14 If $C$ is a commutative algebra it
     9 can (and will) also be thought of as an $n$-category whose $j$-morphisms are trivial for
    15 can (and will) also be thought of as an $n$-category whose $j$-morphisms are trivial for
    10 $j<n$ and whose $n$-morphisms are $C$. 
    16 $j<n$ and whose $n$-morphisms are $C$. 
    11 The goal of this \nn{subsection?} is to compute
    17 The goal of this \nn{subsection?} is to compute