# HG changeset patch
# User Kevin Walker <kevin@canyon23.net>
# Date 1275522700 25200
# Node ID 6cc92b273d44ce18c99a484f5881e21a45c93080
# Parent  091c36b943e704c2fb729cfc4845280276a56074
added \cl ([ho]colim) (currently \underrightarrow)

diff -r 091c36b943e7 -r 6cc92b273d44 preamble.tex
--- a/preamble.tex	Wed Jun 02 12:52:08 2010 -0700
+++ b/preamble.tex	Wed Jun 02 16:51:40 2010 -0700
@@ -190,6 +190,8 @@
 \newcommand{\CD}[1]{C_*(\Diff(#1))}
 \newcommand{\CH}[1]{C_*(\Homeo(#1))}
 
+\newcommand{\cl}[1]{\underrightarrow{#1}}
+
 \newcommand{\directSumStack}[2]{{\begin{matrix}#1 \\ \DirectSum \\#2\end{matrix}}}
 \newcommand{\directSumStackThree}[3]{{\begin{matrix}#1 \\ \DirectSum \\#2 \\ \DirectSum \\#3\end{matrix}}}
 
diff -r 091c36b943e7 -r 6cc92b273d44 text/a_inf_blob.tex
--- a/text/a_inf_blob.tex	Wed Jun 02 12:52:08 2010 -0700
+++ b/text/a_inf_blob.tex	Wed Jun 02 16:51:40 2010 -0700
@@ -235,7 +235,7 @@
 \[
 	F \to E \to Y .
 \]
-We outline two approaches.
+We outline one approach here and a second in Subsection xxxx.
 
 We can generalize the definition of a $k$-category by replacing the categories
 of $j$-balls ($j\le k$) with categories of $j$-balls $D$ equipped with a map $p:D\to Y$.
@@ -254,6 +254,7 @@
 
 
 
+\nn{put this later}
 
 \nn{The second approach: Choose a decomposition $Y = \cup X_i$
 such that the restriction of $E$ to $X_i$ is a product $F\times X_i$.
@@ -275,7 +276,6 @@
 Let $X$ be a closed $k$-manifold with a splitting $X = X'_1\cup_Y X'_2$.
 We will need an explicit collar on $Y$, so rewrite this as
 $X = X_1\cup (Y\times J) \cup X_2$.
-\nn{need figure}
 Given this data we have: \nn{need refs to above for these}
 \begin{itemize}
 \item An $A_\infty$ $n{-}k$-category $\bc(X)$, which assigns to an $m$-ball