diff -r eb03c4a92f98 -r 160ca7078ae9 text/blobdef.tex --- a/text/blobdef.tex Thu Jun 03 12:33:47 2010 -0700 +++ b/text/blobdef.tex Thu Jun 03 17:19:37 2010 -0700 @@ -180,6 +180,8 @@ The $(-1)^{j+1}$ factors imply that the terms of $\bd^2(b)$ all cancel. Thus we have a chain complex. +Note that Property \ref{property:functoriality}, that the blob complex is functorial with respect to homeomorphisms, is immediately obvious from the definition. A homeomorphism acts in an obvious on blobs and on fields. + We define the {\it support} of a blob diagram $b$, $\supp(b) \sub X$, to be the union of the blobs of $b$. For $y \in \bc_*(X)$ with $y = \sum c_i b_i$ ($c_i$ a non-zero number, $b_i$ a blob diagram),