diff -r 937214896458 -r cf26fcc97d85 text/ncat.tex --- 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}