--- a/text/a_inf_blob.tex	Tue Aug 18 19:27:44 2009 +0000
+++ b/text/a_inf_blob.tex	Fri Aug 21 23:17:10 2009 +0000
@@ -35,18 +35,57 @@
 In filtration degrees 1 and higher we define the map to be zero.
 It is easy to check that this is a chain map.
 
-Next we define a map from $\bc_*^C(Y\times F)$ to $\bc_*^\cF(Y)$.
+Next we define a map from $\phi: \bc_*^C(Y\times F) \to \bc_*^\cF(Y)$.
 Actually, we will define it on the homotopy equivalent subcomplex
-$\cS_* \sub \bc_*^C(Y\times F)$ generated by blob diagrams which are small with respect to some open cover
+$\cS_* \sub \bc_*^C(Y\times F)$ generated by blob diagrams which are small with 
+respect to some open cover
 of $Y\times F$.
 \nn{need reference to small blob lemma}
 We will have to show eventually that this is independent (up to homotopy) of the choice of cover.
 Also, for a fixed choice of cover we will only be able to define the map for blob degree less than
 some bound, but this bound goes to infinity as the cover become finer.
 
+Given a decomposition $K$ of $Y$ into $k$-balls $X_i$, let $K\times F$ denote the corresponding
+decomposition of $Y\times F$ into the pieces $X_i\times F$.
+
+%We will define $\phi$ inductively, starting at blob degree 0.
+%Given a 0-blob diagram $x$ on $Y\times F$, we can choose a decomposition $K$ of $Y$
+%such that $x$ is splittable with respect to $K\times F$.
+%This defines a filtration degree 0 element of $\bc_*^\cF(Y)$
+
+We will define $\phi$ using a variant of the method of acyclic models.
+Let $a\in S_m$ be a blob diagram on $Y\times F$.
+For $m$ sufficiently small there exist decompositions of $K$ of $Y$ into $k$-balls such that the
+codimension 1 cells of $K\times F$ miss the blobs of $a$, and more generally such that $a$ is splittable along $K\times F$.
+Let $D(a)$ denote the subcomplex of $\bc_*^\cF(Y)$ generated by all $(a, \bar{K})$
+such that each $K_i$ has the aforementioned splittable property
+(see Subsection \ref{ss:ncat_fields}).
+(By $(a, \bar{K})$ we really mean $(a', \bar{K})$, where $a^\sharp$ is 
+$a$ split according to $K_0\times F$.
+To simplify notation we will just write plain $a$ instead of $a^\sharp$.)
+Roughly speaking, $D(a)$ consists of filtration degree 0 stuff which glues up to give
+$a$, filtration degree 1 stuff which makes all of the filtration degree 0 stuff homologous, 
+filtration degree 2 stuff which kills the homology created by the 
+filtration degree 1 stuff, and so on.
+More formally,
+ 
+\begin{lemma}
+$D(a)$ is acyclic.
+\end{lemma}
+
+\begin{proof}
+We will prove acyclicity in the first couple of degrees, and \nn{in this draft, at least}
+leave the general case to the reader.
+Let $K$ and $K'$ be two decompositions of $Y$ compatible with $a$.
+We want to show that $(a, K)$ and $(a, K')$ are homologous
+\nn{oops -- can't really ignore $\bd a$ like this}
+\end{proof}
+
+
 \nn{....}
 \end{proof}
 
+
 \nn{need to say something about dim $< n$ above}
 
 

--- a/text/comparing_defs.tex	Tue Aug 18 19:27:44 2009 +0000
+++ b/text/comparing_defs.tex	Fri Aug 21 23:17:10 2009 +0000
@@ -78,10 +78,29 @@
 \nn{need better notation here}
 As we will see below, for $n>1$ the compositions yield a weaker sort of equivalence.
 
+\medskip
+
+Similar arguments show that modules for topological 1-categories are essentially
+the same thing as traditional modules for traditional 1-categories.
 
 \subsection{Plain 2-categories}
 
-blah
+Let $\cC$ be a topological 2-category.
+We will construct a traditional pivotal 2-category.
+(The ``pivotal" corresponds to our assumption of strong duality for $\cC$.)
+
+We will try to describe the construction in such a way the the generalization to $n>2$ is clear,
+though this will make the $n=2$ case a little more complicated that necessary.
+
+Define the $k$-morphisms $C^k$ of $C$ to be $\cC(B^k)_E$, where $B^k$ denotes the standard
+$k$-ball, which we also think of as the standard bihedron.
+Since we are thinking of $B^k$ as a bihedron, we have a standard decomposition of the $\bd B^k$
+into two copies of $B^{k-1}$ which intersect along the ``equator" $E \cong S^{k-2}$.
+Recall that the subscript in $\cC(B^k)_E$ means that we consider the subset of $\cC(B^k)$
+whose boundary is splittable along $E$.
+This allows us to define the domain and range of morphisms of $C$ using
+boundary and restriction maps of $\cC$.
+
 \nn{...}
 
 \medskip

--- a/text/ncat.tex	Tue Aug 18 19:27:44 2009 +0000
+++ b/text/ncat.tex	Fri Aug 21 23:17:10 2009 +0000
@@ -113,6 +113,8 @@
 equipped with an orientation of its once-stabilized tangent bundle.
 Similarly, in dimension $n-k$ we would have manifolds equipped with an orientation of 
 their $k$ times stabilized tangent bundles.
+Probably should also have a framing of the stabilized dimensions in order to indicate which 
+side the bounded manifold is on.
 For the moment just stick with unoriented manifolds.}
 \medskip