# HG changeset patch
# User Scott Morrison <scott@tqft.net>
# Date 1309389671 25200
# Node ID f38558decd51b471df1d55aceac6852dabd41ef4
# Parent  029f73e2fda69cb4bfa072eed575665824e4fcdf
typos

diff -r 029f73e2fda6 -r f38558decd51 text/a_inf_blob.tex
--- a/text/a_inf_blob.tex	Wed Jun 29 16:17:53 2011 -0700
+++ b/text/a_inf_blob.tex	Wed Jun 29 16:21:11 2011 -0700
@@ -412,7 +412,7 @@
 \begin{proof}
 The proof is again similar to that of Theorem \ref{thm:product}.
 
-We begin by constructing chain map $\psi: \cB^\cT(M) \to C_*(\Maps(M\to T))$.
+We begin by constructing a chain map $\psi: \cB^\cT(M) \to C_*(\Maps(M\to T))$.
 
 Recall that 
 the 0-simplices of the homotopy colimit $\cB^\cT(M)$ 
diff -r 029f73e2fda6 -r f38558decd51 text/evmap.tex
--- a/text/evmap.tex	Wed Jun 29 16:17:53 2011 -0700
+++ b/text/evmap.tex	Wed Jun 29 16:21:11 2011 -0700
@@ -351,7 +351,7 @@
 of blob diagrams that are small with respect to $\cU$.
 (If $f:P \to \BD_k$ is the family then for all $p\in P$ we have that $f(p)$ is a diagram in which the blobs are small.)
 This is done as in the proof of Lemma \ref{small-blobs-b}; the technique of the proof works in families.
-Each such family is homotopic to a sum families which can be a ``lifted" to $\Homeo(X)$.
+Each such family is homotopic to a sum of families which can be a ``lifted" to $\Homeo(X)$.
 That is, $f:P \to \BD_k$ has the form $f(p) = g(p)(b)$ for some $g:P\to \Homeo(X)$ and $b\in \BD_k$.
 (We are ignoring a complication related to twig blob labels, which might vary
 independently of $g$, but this complication does not affect the conclusion we draw here.)
diff -r 029f73e2fda6 -r f38558decd51 text/ncat.tex
--- a/text/ncat.tex	Wed Jun 29 16:17:53 2011 -0700
+++ b/text/ncat.tex	Wed Jun 29 16:21:11 2011 -0700
@@ -206,8 +206,8 @@
 We do not insist on surjectivity of the gluing map, since this is not satisfied by all of the examples
 we are trying to axiomatize.
 If our $k$-morphisms $\cC(X)$ are labeled cell complexes embedded in $X$ (c.f. Example \ref{ex:traditional-n-categories} below), then a $k$-morphism is
-in the image of the gluing map precisely which the cell complex is in general position
-with respect to $E$. On the other hand, in categories based on maps to a target space (c.f. Example \ref{ex:maps-to-a-space} below) the gluing map is always surjective
+in the image of the gluing map precisely when the cell complex is in general position
+with respect to $E$. On the other hand, in categories based on maps to a target space (c.f. Example \ref{ex:maps-to-a-space} below) the gluing map is always surjective.
 
 If $S$ is a 0-sphere (the case $k=1$ above), then $S$ can be identified with the {\it disjoint} union
 of two 0-balls $B_1$ and $B_2$ and the colimit construction $\cl{\cC}(S)$ can be identified
@@ -999,7 +999,7 @@
 \item in the $A_\infty$ case, actions of the topological spaces of homeomorphisms preserving boundary conditions
 and collar maps (Axiom \ref{axiom:families}).
 \end{itemize}
-The above data must satisfy the following conditions:
+The above data must satisfy the following conditions.
 \begin{itemize}
 \item The gluing maps are compatible with actions of homeomorphisms and boundary 
 restrictions (Axiom \ref{axiom:composition}).
@@ -2410,7 +2410,7 @@
 This will allow us to define $\cS(X; c)$ independently of the choice of $E$.
 
 First we must define ``inner product", ``non-degenerate" and ``compatible".
-Let $Y$ be a decorated $n$-ball, and $\ol{Y}$ it's mirror image.
+Let $Y$ be a decorated $n$-ball, and $\ol{Y}$ its mirror image.
 (We assume we are working in the unoriented category.)
 Let $Y\cup\ol{Y}$ denote the decorated $n$-sphere obtained by gluing $Y$ and $\ol{Y}$
 along their common boundary.