# HG changeset patch
# User Scott Morrison <scott@tqft.net>
# Date 1301606038 25200
# Node ID da7ac7d30f306c5742836cac1dc8fe8946ce2b24
# Parent  db9d3a27647a77fa18cf2f573bb29cdde6dfefb1# Parent  59c29ecf2f66d4a37ebd44483c5314d2a4b52671
Automated merge with https://tqft.net/hg/blob

diff -r 59c29ecf2f66 -r da7ac7d30f30 pnas/pnas.tex
--- a/pnas/pnas.tex	Tue Mar 29 13:30:35 2011 -0700
+++ b/pnas/pnas.tex	Thu Mar 31 14:13:58 2011 -0700
@@ -743,7 +743,7 @@
 
 Given permissible decompositions $x = \{X_a\}$ and $y = \{Y_b\}$ of $W$, we say that $x$ is a refinement
 of $y$, or write $x \le y$, if there is a ball decomposition $\du_a X_a = M_0\to\cdots\to M_m = W$
-with $\du_b Y_b = M_i$ for some $i$.
+with $\du_b Y_b = M_i$ for some $i$, and each $M_j$ with $j<i$ is also a disjoint union of balls.
 
 \begin{defn}
 The poset $\cell(W)$ has objects the permissible decompositions of $W$, 
diff -r 59c29ecf2f66 -r da7ac7d30f30 text/ncat.tex
--- a/text/ncat.tex	Tue Mar 29 13:30:35 2011 -0700
+++ b/text/ncat.tex	Thu Mar 31 14:13:58 2011 -0700
@@ -990,8 +990,11 @@
 and we  will define $\cl{\cC}(W)$ as a suitable colimit 
 (or homotopy colimit in the $A_\infty$ case) of this functor. 
 We'll later give a more explicit description of this colimit.
-In the case that the $n$-category $\cC$ is enriched (e.g. associates vector spaces or chain complexes to $n$-balls with boundary data), 
-then the resulting colimit is also enriched, that is, the set associated to $W$ splits into subsets according to boundary data, and each of these subsets has the appropriate structure (e.g. a vector space or chain complex).
+In the case that the $n$-category $\cC$ is enriched (e.g. associates vector spaces or chain 
+complexes to $n$-balls with boundary data), 
+then the resulting colimit is also enriched, that is, the set associated to $W$ splits into 
+subsets according to boundary data, and each of these subsets has the appropriate structure 
+(e.g. a vector space or chain complex).
 
 Recall (Definition \ref{defn:gluing-decomposition}) that a {\it 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
@@ -1008,7 +1011,8 @@
 
 Given permissible decompositions $x = \{X_a\}$ and $y = \{Y_b\}$ of $W$, we say that $x$ is a refinement
 of $y$, or write $x \le y$, if there is a ball decomposition $\du_a X_a = M_0\to\cdots\to M_m = W$
-with $\du_b Y_b = M_i$ for some $i$.
+with $\du_b Y_b = M_i$ for some $i$,
+and with $M_0,\ldots, M_i$ each being a disjoint union of balls.
 
 \begin{defn}
 The poset $\cell(W)$ has objects the permissible decompositions of $W$, 
@@ -1039,7 +1043,7 @@
 	\psi_{\cC;W}(x) \sub \prod_a \cC(X_a)\spl
 \end{equation}
 where the restrictions to the various pieces of shared boundaries amongst the cells
-$X_a$ all agree (this is a fibered product of all the labels of $n$-cells over the labels of $n-1$-cells).
+$X_a$ all agree (this is a fibered product of all the labels of $n$-cells over the labels of $n{-}1$-cells).
 If $x$ is a refinement of $y$, the map $\psi_{\cC;W}(x) \to \psi_{\cC;W}(y)$ is given by the composition maps of $\cC$.
 \end{defn}