text/blobdef.tex
changeset 332 160ca7078ae9
parent 321 76c301fdf0a2
child 342 1d76e832d32f
--- 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),