text/ncat.tex
changeset 877 651d16126999
parent 875 85cebbd771b5
child 879 cf26fcc97d85
child 880 402dda2e0627
--- a/text/ncat.tex	Wed Aug 10 21:46:27 2011 -0600
+++ b/text/ncat.tex	Thu Aug 11 12:08:38 2011 -0600
@@ -1261,7 +1261,12 @@
 	\cE\cB_n^k \times A \times \cdots \times A \to A ,
 \]
 where $\cE\cB_n^k$ is the $k$-th space of the $\cE\cB_n$ operad.
-\nn{need to finish this}
+Let $(b, a_1,\ldots,a_k)$ be a point of $\cE\cB_n^k \times A \times \cdots \times A \to A$.
+The $i$-th embedding of $b$ together with $a_i$ determine an element of $\cC(B_i)$, 
+where $B_i$ denotes the $i$-th little ball.
+Using composition of $n$-morphsims in $\cC$, and padding the spaces between the little balls with the 
+(essentially unique) identity $n$-morphism of $\cC$, we can construct a well-defined element
+of $\cC(B^n) = A$.
 
 If we apply the homotopy colimit construction of the next subsection to this example, 
 we get an instance of Lurie's topological chiral homology construction.