text/ncat.tex
changeset 879 cf26fcc97d85
parent 877 651d16126999
child 881 c3cc526965a9
--- a/text/ncat.tex	Thu Aug 11 12:59:06 2011 -0600
+++ b/text/ncat.tex	Thu Aug 11 13:50:06 2011 -0600
@@ -2117,7 +2117,7 @@
 associated to $L$ by $\cX$ and $\cC$.
 (See \S \ref{ss:ncat_fields} and \S \ref{moddecss}.)
 Define $\cl{\cY}(L)$ similarly.
-For $K$ an unmarked 1-ball let $\cl{\cC(K)}$ denote the local homotopy colimit
+For $K$ an unmarked 1-ball let $\cl{\cC}(K)$ denote the local homotopy colimit
 construction associated to $K$ by $\cC$.
 Then we have an injective gluing map
 \[
@@ -2225,7 +2225,7 @@
 We only consider those decompositions in which the smaller balls are either
 $0$-marked (i.e. intersect the $0$-marking of the large ball in a disc) 
 or plain (don't intersect the $0$-marking of the large ball).
-We can also take the boundary of a $0$-marked ball, which is $0$-marked sphere.
+We can also take the boundary of a $0$-marked ball, which is a $0$-marked sphere.
 
 Fix $n$-categories $\cA$ and $\cB$.
 These will label the two halves of a $0$-marked $k$-ball.
@@ -2618,7 +2618,6 @@
 \caption{Moving $B$ from bottom to top}
 \label{jun23c}
 \end{figure}
-Let $D' = B\cap C$.
 It is not hard too show that the above two maps are mutually inverse.
 
 \begin{lem} \label{equator-lemma}