text/blobdef.tex
changeset 219 7e9a7b9605d3
parent 216 1b3ebb7793c9
child 222 217b6a870532
--- a/text/blobdef.tex	Fri Mar 05 20:27:08 2010 +0000
+++ b/text/blobdef.tex	Thu Mar 11 23:20:25 2010 +0000
@@ -199,9 +199,10 @@
 \item $p(a \du b) = p(a) \times p(b)$, where $a \du b$ denotes the distant (non-overlapping) union of two blob diagrams (equivalently, join two trees at the roots); and
 \item $p(\bar{b}) = \kone(p(b))$, where $\bar{b}$ is obtained from $b$ by adding an outer blob which encloses all the others.
 \end{itemize}
-(This correspondence works best if we thing of each twig label $u_i$ as being a difference of
-two fields.)
 For example, a diagram of $k$ strictly nested blobs corresponds to a $k$-simplex, while
 a diagram of $k$ disjoint blobs corresponds to a $k$-cube.
+(This correspondence works best if we thing of each twig label $u_i$ as having the form
+$x - s(e(x))$, where $x$ is an arbitrary field on $B_i$, $e: \cC(B_i) \to C$ is the evaluation map, 
+and $s:C \to \cC(B_i)$ is some fixed section of $e$.)