# HG changeset patch
# User kevin@6e1638ff-ae45-0410-89bd-df963105f760
# Date 1215318831 0
# Node ID 0adb47730c7a342d1496ffe9d4498f0ebd86c23b
# Parent  f46e6ff9f95118b5957a7312cb264ef496061fbc
coend, n>1 case

diff -r f46e6ff9f951 -r 0adb47730c7a blob1.tex
--- a/blob1.tex	Sat Jul 05 21:48:19 2008 +0000
+++ b/blob1.tex	Sun Jul 06 04:33:51 2008 +0000
@@ -963,7 +963,9 @@
 A(J'')
 }
 \end{equation*}
-commutes. (Here the map $\compose : \CD{J' \to J''} \tensor \CD{J \to J'} \to \CD{J \to J''}$ is a composition: take products of singular chains first, then compose diffeomorphisms.)
+commutes. 
+\kevin{commutes up to homotopy? in the blob case the evaluation map is ambiguous up to homotopy}
+(Here the map $\compose : \CD{J' \to J''} \tensor \CD{J \to J'} \to \CD{J \to J''}$ is a composition: take products of singular chains first, then compose diffeomorphisms.)
 %% or the version for separate pieces of data:
 %\item If $\phi$ is a diffeomorphism from $J$ to itself, the maps $\ev_J(\phi, -)$ and $A(\phi)$ are the same.
 %\item The evaluation chain map is associative, in that the diagram
@@ -1076,14 +1078,39 @@
 $\gl(M)$ of a topological $A_\infty$ bimodule $M$.
 $\gl(M)$ is defined to be the universal thing with the following structure.
 
-\nn{...}
+\begin{itemize}
+\item For each interval $N$ with both endpoints marked, a complex of vector spaces C(N).
+\item For each pair of intervals $N,N'$ an evaluation chain map 
+$\ev_{N \to N'} : \CD{N \to N'} \tensor C(N) \to C(N')$.
+\item For each decomposition of intervals $N = K\cup L$,
+a gluing map $\gl_{K,L} : M(K,L) \to C(N)$.
+\item The evaluation maps are associative.
+\nn{up to homotopy?}
+\item Gluing is strictly associative.  
+That is, given a decomposition $N = K\cup J\cup L$, the chain maps associated to
+$K\du J\du L \to (K\cup J)\du L \to N$ and $K\du J\du L \to K\du (J\cup L) \to N$
+agree.
+\item the gluing and evaluation maps are compatible.
+\end{itemize}
 
+Bu universal we mean that given any other collection of chain complexes, evaluation maps
+and gluing maps, they factor through the universal thing.
+\nn{need to say this in more detail, in particular give the properties of the factoring map}
 
+Given $X$ and $Y\du -Y \sub \bdy X$ as above, the assignment 
+$N \mapsto \bc_*(X \cup_{Y\du -Y} (N\times Y)$ clearly has the structure described 
+in the above bullet points.
+Showing that it is the universal such thing is the content of the gluing theorem proved below.
 
+The definitions for a topological $A_\infty$-$n$-category are very similar to the above
+$n=1$ case.
+One replaces intervals with manifolds diffeomorphic to the ball $B^n$.
+Marked points are replaced by copies of $B^{n-1}$ in $\bdy B^n$.
+
+\nn{give examples: $A(J^n) = \bc_*(Z\times J)$ and $A(J^n) = C_*(\Maps(J \to M))$.}
 
 \todo{the motivating example $C_*(\maps(X, M))$}
 
-\todo{higher $n$}
 
 
 \newcommand{\skel}[1]{\operatorname{skeleton}(#1)}