# HG changeset patch # User Scott Morrison # Date 1280342021 25200 # Node ID 833bd74143a44a275ce3310b864b9b53582843e3 # Parent 045e01f63729845d2b2367be71c5bd977afd1b65 put in a stub appendix for MoAM, but I'm going to go do other things next diff -r 045e01f63729 -r 833bd74143a4 blob1.tex --- 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} diff -r 045e01f63729 -r 833bd74143a4 text/appendixes/moam.tex --- /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 diff -r 045e01f63729 -r 833bd74143a4 text/basic_properties.tex --- 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 diff -r 045e01f63729 -r 833bd74143a4 text/evmap.tex --- 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'')$.