--- a/text/blobdef.tex Tue Sep 21 07:37:41 2010 -0700
+++ b/text/blobdef.tex Tue Sep 21 14:44:17 2010 -0700
@@ -67,13 +67,11 @@
just erasing the blob from the picture
(but keeping the blob label $u$).
-\nn{it seems rather strange to make this a theorem}
-\nn{it's a theorem because it's stated in the introduction, and I wanted everything there to have numbers that pointed into the paper --S}
Note that directly from the definition we have
-\begin{thm}
+\begin{prop}
\label{thm:skein-modules}
The skein module $A(X)$ is naturally isomorphic to $\bc_0(X)/\bd(\bc_1(X))) = H_0(\bc_*(X))$.
-\end{thm}
+\end{prop}
This also establishes the second
half of Property \ref{property:contractibility}.
@@ -292,7 +290,6 @@
and $s:C \to \cF(B_i)$ is some fixed section of $e$.)
For lack of a better name,
-\nn{can we think of a better name?}
we'll call elements of $P$ cone-product polyhedra,
and say that blob diagrams have the structure of a cone-product set (analogous to simplicial set).
\end{remark}