--- a/blob1.tex Wed Jul 28 11:26:41 2010 -0700
+++ b/blob1.tex Wed Jul 28 11:33:41 2010 -0700
@@ -71,6 +71,8 @@
\appendix
+\input{text/appendixes/moam}
+
\input{text/appendixes/famodiff}
\input{text/appendixes/smallblobs}
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/text/appendixes/moam.tex Wed Jul 28 11:33:41 2010 -0700
@@ -0,0 +1,4 @@
+%!TEX root = ../../blob1.tex
+
+\section{The method of acyclic models} \label{sec:moam}
+\todo{...}
\ No newline at end of file
--- a/text/basic_properties.tex Wed Jul 28 11:26:41 2010 -0700
+++ b/text/basic_properties.tex Wed Jul 28 11:33:41 2010 -0700
@@ -87,7 +87,7 @@
Assign to $b$ the acyclic (in positive degrees) subcomplex $T(b) \deq r\bullet\bc_*(S)$.
Note that if a diagram $b'$ is part of $\bd b$ then $T(B') \sub T(b)$.
Both $f$ and the identity are compatible with $T$ (in the sense of acyclic models),
-so $f$ and the identity map are homotopic. \nn{We should actually have a section with a definition of ``compatible" and this statement as a lemma}
+so $f$ and the identity map are homotopic. \nn{We should actually have a section \S \ref{sec:moam} with a definition of ``compatible" and this statement as a lemma}
\end{proof}
For the next proposition we will temporarily restore $n$-manifold boundary
--- a/text/evmap.tex Wed Jul 28 11:26:41 2010 -0700
+++ b/text/evmap.tex Wed Jul 28 11:33:41 2010 -0700
@@ -239,7 +239,7 @@
e(p\ot b) \deq x' \bullet p''(b'') .
\]
-Note that above we are essentially using the method of acyclic models.
+Note that above we are essentially using the method of acyclic models \nn{\S \ref{sec:moam}}.
For each generator $p\ot b$ we specify the acyclic (in positive degrees)
target complex $\bc_*(p(V)) \bullet p''(b'')$.