# HG changeset patch
# User Kevin Walker <kevin@canyon23.net>
# Date 1288705120 25200
# Node ID 38ec3d05d0d88afe49e77442c5e9723489966c8b
# Parent  0510346848edb8dd496801f135349214b97d905a
enrichment; decompositions (meta)

diff -r 0510346848ed -r 38ec3d05d0d8 pnas/pnas.tex
--- a/pnas/pnas.tex	Tue Nov 02 06:18:43 2010 -0700
+++ b/pnas/pnas.tex	Tue Nov 02 06:38:40 2010 -0700
@@ -239,6 +239,15 @@
 These maps, for various $X$, comprise a natural transformation of functors.
 \end{axiom}
 
+For $c\in \cl{\cC}_{k-1}(\bd X)$ we let $\cC_k(X; c)$ denote the preimage $\bd^{-1}(c)$.
+
+Many of the examples we are interested in are enriched in some auxiliary category $\cS$
+(e.g. $\cS$ is vector spaces or rings, or, in the $A_\infty$ case, chain complex or topological spaces).
+This means (by definition) that in the top dimension $k=n$ the sets $\cC_n(X; c)$ have the structure
+of an object of $\cS$, and all of the structure maps of the category (above and below) are
+compatible with the $\cS$ structure on $\cC_n(X; c)$.
+
+
 Given two hemispheres (a `domain' and `range') that agree on the equator, we need to be able to assemble them into a boundary value of the entire sphere.
 
 \begin{lem}
@@ -373,6 +382,8 @@
 Maybe just a single remark that we are omitting some details which appear in our
 longer paper.}
 \nn{SM: for now I disagree: the space expense is pretty minor, and it always us to be "in principle" complete. Let's see how we go for length.}
+\nn{KW: It's not the length I'm worried about --- I was worried about distracting the reader
+with an arcane technical issue.  But we can decide later.}
 
 A \emph{ball decomposition} of $W$ is a 
 sequence of gluings $M_0\to M_1\to\cdots\to M_m = W$ such that $M_0$ is a disjoint union of balls