--- a/text/blobdef.tex Thu Jun 03 18:42:39 2010 -0700
+++ b/text/blobdef.tex Thu Jun 03 20:34:36 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),