diff -r 7fc1a7ff9667 -r e2996d7b4e6c pnas/pnas.tex
--- a/pnas/pnas.tex	Tue Nov 02 08:41:11 2010 +0900
+++ b/pnas/pnas.tex	Tue Nov 02 21:22:53 2010 +0900
@@ -214,7 +214,7 @@
 to the standard $k$-ball $B^k$.
 \nn{maybe add that in addition we want functoriality}
 
-\nn{say something about different flavors of balls; say it here? later?}
+In fact, the axioms here may easily be varied by considering balls with structure (e.g. $m$ independent vector fields, a map to some target space, etc.). Such variations are useful for axiomatizing categories with less duality, and also as technical tools in proofs.
 
 \begin{axiom}[Morphisms]
 \label{axiom:morphisms}
@@ -223,30 +223,21 @@
 homeomorphisms to the category of sets and bijections.
 \end{axiom}
 
-Note that the functoriality in the above axiom allows us to operate via \nn{fragment?}
-
 Next we consider domains and ranges of $k$-morphisms.
 Because we assume strong duality, it doesn't make much sense to subdivide the boundary of a morphism
 into domain and range --- the duality operations can convert domain to range and vice-versa.
 Instead, we will use a unified domain/range, which we will call a ``boundary".
 
-In order to state the axiom for boundaries, we need to extend the functors $\cC_k$
-of $k$-balls to functors $\cl{\cC}_{k-1}$ of $k$-spheres.
-This extension is described in xxxx below.
-
-%\begin{lem}
-%\label{lem:spheres}
-%For each $1 \le k \le n$, we have a functor $\cl{\cC}_{k-1}$ from 
-%the category of $k{-}1$-spheres and 
-%homeomorphisms to the category of sets and bijections.
-%\end{lem}
+Later \todo{} we inductively define an extension of the functors $\cC_k$ to functors $\cl{\cC}_k$ from arbitrary manifolds to sets. We need the restriction of these functors to $k$-spheres, for $k<n$, for the next axiom.
 
 \begin{axiom}[Boundaries]\label{nca-boundary}
 For each $k$-ball $X$, we have a map of sets $\bd: \cC_k(X)\to \cl{\cC}_{k-1}(\bd X)$.
 These maps, for various $X$, comprise a natural transformation of functors.
 \end{axiom}
 
-\begin{lem}[Boundary from domain and range]
+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}
 \label{lem:domain-and-range}
 Let $S = B_1 \cup_E B_2$, where $S$ is a $k{-}1$-sphere $(1\le k\le n)$,
 $B_i$ is a $k{-}1$-ball, and $E = B_1\cap B_2$ is a $k{-}2$-sphere (Figure \ref{blah3}).
@@ -257,17 +248,19 @@
 	\gl_E : \cC(B_1) \times_{\cl{\cC}(E)} \cC(B_2) \into \cl{\cC}(S)
 \]
 which is natural with respect to the actions of homeomorphisms.
-(When $k=1$ we stipulate that $\cl{\cC}(E)$ is a point, so that the above fibered product
-becomes a normal product.)
+%(When $k=1$ we stipulate that $\cl{\cC}(E)$ is a point, so that the above fibered product
+%becomes a normal product.)
 \end{lem}
 
-\begin{axiom}[Composition]
+If $\bdy B = S$, we denote $\bdy^{-1}(\im(\gl_E))$ by $\cC(B)_E$.
+
+\begin{axiom}[Gluing]
 \label{axiom:composition}
 Let $B = B_1 \cup_Y B_2$, where $B$, $B_1$ and $B_2$ are $k$-balls ($0\le k\le n$)
 and $Y = B_1\cap B_2$ is a $k{-}1$-ball (Figure \ref{blah5}).
 Let $E = \bd Y$, which is a $k{-}2$-sphere.
-Note that each of $B$, $B_1$ and $B_2$ has its boundary split into two $k{-}1$-balls by $E$.
-We have restriction (domain or range) maps $\cC(B_i)_E \to \cC(Y)$.
+%Note that each of $B$, $B_1$ and $B_2$ has its boundary split into two $k{-}1$-balls by $E$.
+We have restriction maps $\cC(B_i)_E \to \cC(Y)$.
 Let $\cC(B_1)_E \times_{\cC(Y)} \cC(B_2)_E$ denote the fibered product of these two maps. 
 We have a map
 \[
@@ -282,11 +275,12 @@
 \end{axiom}
 
 \begin{axiom}[Strict associativity] \label{nca-assoc}
-The composition (gluing) maps above are strictly associative.
+The gluing maps above are strictly associative.
 Given any decomposition of a ball $B$ into smaller balls
 $$\bigsqcup B_i \to B,$$ 
 any sequence of gluings (where all the intermediate steps are also disjoint unions of balls) yields the same result.
 \end{axiom}
+For the next axiom, a \emph{pinched product} is a map locally modeled on a degeneracy map between simplices.
 \begin{axiom}[Product (identity) morphisms]
 \label{axiom:product}
 For each pinched product $\pi:E\to X$, with $X$ a $k$-ball and $E$ a $k{+}m$-ball ($m\ge 1$),
@@ -305,7 +299,7 @@
 	\pi'^*\circ f = \tilde{f}\circ \pi^*.
 \]
 \item
-Product morphisms are compatible with gluing (composition).
+Product morphisms are compatible with gluing.
 Let $\pi:E\to X$, $\pi_1:E_1\to X_1$, and $\pi_2:E_2\to X_2$ 
 be pinched products with $E = E_1\cup E_2$.
 Let $a\in \cC(X)$, and let $a_i$ denote the restriction of $a$ to $X_i\sub X$.
@@ -444,7 +438,7 @@
 \item an ordering of the balls, and
 \item for each resulting piece of $W$, a field,
 \end{itemize}
-such that for any innermost blob $B$, the field on $B$ goes to zero under the composition map from $\cC$. We call such a field a `null field on $B$'.
+such that for any innermost blob $B$, the field on $B$ goes to zero under the gluing map from $\cC$. We call such a field a `null field on $B$'.
 
 The differential acts on a $k$-blob diagram by summing over ways to forget one of the $k$ blobs, with signs given by the ordering.
 
@@ -549,11 +543,11 @@
 
 In the following $\CH{X} = C_*(\Homeo(X))$ is the singular chain complex of the space of homeomorphisms of $X$, fixed on $\bdy X$.
 
-\begin{thm}[$C_*(\Homeo(-))$ action]
+\begin{thm}
 \label{thm:CH}\label{thm:evaluation}
 There is a chain map
 \begin{equation*}
-e_X: \CH{X} \tensor \bc_*(X) \to \bc_*(X).
+e_X: \CH{X} \tensor \bc_*(X) \to \bc_*(X)
 \end{equation*}
 such that
 \begin{enumerate}
@@ -588,7 +582,7 @@
 
 
 
-\begin{thm}[Blob complexes of products with balls form an $A_\infty$ $n$-category]
+\begin{thm}
 \label{thm:blobs-ainfty}
 Let $\cC$ be  a topological $n$-category.
 Let $Y$ be an $n{-}k$-manifold. 
@@ -600,8 +594,7 @@
 Property \ref{property:gluing-map} and with the action of families of homeomorphisms given in Theorem \ref{thm:evaluation}.
 \end{thm}
 \begin{rem}
-Perhaps the most interesting case is when $Y$ is just a point; then we have a way of building an $A_\infty$ $n$-category from a topological $n$-category.
-We think of this $A_\infty$ $n$-category as a free resolution.
+When $Y$ is a point this gives $A_\infty$ $n$-category from a topological $n$-category, which can be thought of as a free resolution.
 \end{rem}
 This result is described in more detail as Example 6.2.8 of \cite{1009.5025}
 
@@ -630,10 +623,10 @@
 \item For any $n$-manifold $X$, with $Y$ a codimension $0$-submanifold of its boundary, the blob complex of $X$ is naturally an
 $A_\infty$ module for $\bc_*(Y)$.
 
-\item For any $n$-manifold $X_\text{gl} = X\bigcup_Y \selfarrow$, the blob complex $\bc_*(X_\text{gl})$ is the $A_\infty$ self-tensor product of
+\item The blob complex of a glued manifold $X\bigcup_Y \selfarrow$ is the $A_\infty$ self-tensor product of
 $\bc_*(X)$ as an $\bc_*(Y)$-bimodule:
 \begin{equation*}
-\bc_*(X_\text{gl}) \simeq \bc_*(X) \Tensor^{A_\infty}_{\mathclap{\bc_*(Y)}} \selfarrow
+\bc_*(X\bigcup_Y \selfarrow) \simeq \bc_*(X) \Tensor^{A_\infty}_{\mathclap{\bc_*(Y)}} \selfarrow
 \end{equation*}
 \end{itemize}
 \end{thm}