...
--- a/text/a_inf_blob.tex Wed Oct 28 21:41:53 2009 +0000
+++ b/text/a_inf_blob.tex Wed Oct 28 21:59:38 2009 +0000
@@ -5,7 +5,7 @@
\label{sec:gluing}
Given an $A_\infty$ $n$-category $\cC$ and an $n$-manifold $M$, we define the blob
-complex $\bc_*(M)$ to the be the colimit $\cC(M)$ of Section \ref{sec:ncats}.
+complex $\bc_*(M)$ to the be the homotopy colimit $\cC(M)$ of Section \ref{sec:ncats}.
\nn{say something about this being anticlimatically tautological?}
We will show below
\nn{give ref}
--- a/text/fields.tex Wed Oct 28 21:41:53 2009 +0000
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,42 +0,0 @@
-\nn{This file is obsolete.}
-
-\todo{beginning of scott's attempt to write down what fields are...}
-
-\newcommand{\manifolds}[1]{\cM_{#1}}
-\newcommand{\closedManifolds}[1]{\cM_{#1}^{\text{closed}}}
-\newcommand{\boundaryConditions}[1]{\cM_{#1}^{\bdy}}
-Let $\manifolds{k}$ be the groupoid of manifolds (possibly with boundary) of dimension $k$ and diffeomorphisms between them. Write
-$\closedManifolds{k}$ for the subgroupoid of closed manifolds. Taking the boundary gives a functor $\bdy : \manifolds{k} \to \closedManifolds{k-1}$.
-Both $\manifolds{k}$ and $\closedManifolds{k}$ are symmetric tensor categories under the operation of disjoint union.
-\begin{defn}
-A \emph{system of fields} is a collection of functors $\cF_k$ associating a `set of fields' to each manifold of dimension at most $n$.
-
-First, there are functors $\cF_k : \closedManifolds{k} \to \Set$ for each $0 \leq k < n$. We ask that these are tensor functors, so they
-take disjoint unions of manifolds to cartesian products of sets. In particular, this means that $\cF_k(\eset)$ is a point; there's only one field
-on the empty manifold of any dimension.
-
-Define the groupoid $\boundaryConditions{k}$ of `manifolds with boundary conditions' as
-\begin{equation*}
-\setc{(Y; c)}{\begin{array}{c} \text{$Y$ a $k$-manifold} \\ c \in \cC_{k-1}(\bdy Y) \end{array}}
-\xymatrix{ \ar@(ru,rd)@<-1ex>[]}
-\set{Y \diffeoto Y'}
-\end{equation*}
-where we think of $f: Y \diffeoto Y'$ as a morphism $(Y; c) \isoto (Y'; \cC_{k-1}(\restrict{f}{\bdy Y})(c))$.
-%
-%The objects are pairs $(Y; c)$ with $Y$ a manifold (possibly with boundary) of dimension $k$ and $c \in \cC_{k-1}(\bdy Y)$
-%a field on the boundary of $Y$. A morphism $(Y; c) \to (Y'; c')$ is any diffeomorphism $f: Y \to Y'$ such that $\cC_{k-1}(\restrict{f}{\bdy Y})(c) = c'$.
-Notice that $\closedManifolds{k}$ is naturally a subgroupoid of $\boundaryConditions{k}$, since a closed manifold has a unique field on its (empty) boundary.
-
-We now ask that the functors $\cF_k$ above extend to functors $\cF_k : \boundaryConditions{k} \to \Set$ for each $0 \leq k < n$,
-and that there is an extra functor at the top level, $\cF_n : \boundaryConditions{n} \to \Vect$. (Notice that for $n$-manifolds we ask for a vector space, not just a set. This isn't essential for the definition, but we will only be interested in this case hereafter.)
-We still require that these are tensor functors, and so take disjoint unions of manifolds to cartesian products of sets, or tensor products of vector spaces, as appropriate.
-
-\scott{Not sure how to say product fields in this setup.}
-Finally, notice there are functors $- \times I : \manifolds{k} \to \manifolds{k+1}$
-Finally (?) we ask for natural transformations $- \times I : \cC_k \to \cC_{k+1} \compose (- \times I)$. Thus for each pair $(Y^k; c)$ we have a map $\cC_k($
-\end{defn}
-\begin{rem}
-Where the dimension of the manifold is clear, we'll often leave off the subscript on $\cC_k$.
-\end{rem}
-
-\todo{end}
\ No newline at end of file
--- a/text/ncat.tex Wed Oct 28 21:41:53 2009 +0000
+++ b/text/ncat.tex Wed Oct 28 21:59:38 2009 +0000
@@ -753,7 +753,7 @@
operad-type strict associativity condition.}
(The above operad-like structure is analogous to the swiss cheese operad
-\nn{need citation}.)
+\cite{MR1718089}.)
\nn{need to double-check that this is true.}
\xxpar{Module product (identity) morphisms:}
@@ -854,7 +854,7 @@
\begin{figure}[!ht]\begin{equation*}
\mathfig{.9}{tempkw/mblabel}
\end{equation*}\caption{A permissible decomposition of a manifold
-whose boundary components are labeled my $\cC$ modules $\{\cN_i\}$.}\label{mblabel}\end{figure}
+whose boundary components are labeled by $\cC$ modules $\{\cN_i\}$.}\label{mblabel}\end{figure}
Given permissible decompositions $x$ and $y$, we say that $x$ is a refinement
of $y$, or write $x \le y$, if each ball of $y$ is a union of balls of $x$.
This defines a partial ordering $\cJ(W)$, which we will think of as a category.
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/text/obsolete/fields.tex Wed Oct 28 21:59:38 2009 +0000
@@ -0,0 +1,42 @@
+\nn{This file is obsolete.}
+
+\todo{beginning of scott's attempt to write down what fields are...}
+
+\newcommand{\manifolds}[1]{\cM_{#1}}
+\newcommand{\closedManifolds}[1]{\cM_{#1}^{\text{closed}}}
+\newcommand{\boundaryConditions}[1]{\cM_{#1}^{\bdy}}
+Let $\manifolds{k}$ be the groupoid of manifolds (possibly with boundary) of dimension $k$ and diffeomorphisms between them. Write
+$\closedManifolds{k}$ for the subgroupoid of closed manifolds. Taking the boundary gives a functor $\bdy : \manifolds{k} \to \closedManifolds{k-1}$.
+Both $\manifolds{k}$ and $\closedManifolds{k}$ are symmetric tensor categories under the operation of disjoint union.
+\begin{defn}
+A \emph{system of fields} is a collection of functors $\cF_k$ associating a `set of fields' to each manifold of dimension at most $n$.
+
+First, there are functors $\cF_k : \closedManifolds{k} \to \Set$ for each $0 \leq k < n$. We ask that these are tensor functors, so they
+take disjoint unions of manifolds to cartesian products of sets. In particular, this means that $\cF_k(\eset)$ is a point; there's only one field
+on the empty manifold of any dimension.
+
+Define the groupoid $\boundaryConditions{k}$ of `manifolds with boundary conditions' as
+\begin{equation*}
+\setc{(Y; c)}{\begin{array}{c} \text{$Y$ a $k$-manifold} \\ c \in \cC_{k-1}(\bdy Y) \end{array}}
+\xymatrix{ \ar@(ru,rd)@<-1ex>[]}
+\set{Y \diffeoto Y'}
+\end{equation*}
+where we think of $f: Y \diffeoto Y'$ as a morphism $(Y; c) \isoto (Y'; \cC_{k-1}(\restrict{f}{\bdy Y})(c))$.
+%
+%The objects are pairs $(Y; c)$ with $Y$ a manifold (possibly with boundary) of dimension $k$ and $c \in \cC_{k-1}(\bdy Y)$
+%a field on the boundary of $Y$. A morphism $(Y; c) \to (Y'; c')$ is any diffeomorphism $f: Y \to Y'$ such that $\cC_{k-1}(\restrict{f}{\bdy Y})(c) = c'$.
+Notice that $\closedManifolds{k}$ is naturally a subgroupoid of $\boundaryConditions{k}$, since a closed manifold has a unique field on its (empty) boundary.
+
+We now ask that the functors $\cF_k$ above extend to functors $\cF_k : \boundaryConditions{k} \to \Set$ for each $0 \leq k < n$,
+and that there is an extra functor at the top level, $\cF_n : \boundaryConditions{n} \to \Vect$. (Notice that for $n$-manifolds we ask for a vector space, not just a set. This isn't essential for the definition, but we will only be interested in this case hereafter.)
+We still require that these are tensor functors, and so take disjoint unions of manifolds to cartesian products of sets, or tensor products of vector spaces, as appropriate.
+
+\scott{Not sure how to say product fields in this setup.}
+Finally, notice there are functors $- \times I : \manifolds{k} \to \manifolds{k+1}$
+Finally (?) we ask for natural transformations $- \times I : \cC_k \to \cC_{k+1} \compose (- \times I)$. Thus for each pair $(Y^k; c)$ we have a map $\cC_k($
+\end{defn}
+\begin{rem}
+Where the dimension of the manifold is clear, we'll often leave off the subscript on $\cC_k$.
+\end{rem}
+
+\todo{end}
\ No newline at end of file
--- a/text/smallblobs.tex Wed Oct 28 21:41:53 2009 +0000
+++ b/text/smallblobs.tex Wed Oct 28 21:59:38 2009 +0000
@@ -1,4 +1,5 @@
-Not sure where this goes yet.
+%!TEX root = ../blob1.tex
+\nn{Not sure where this goes yet: small blobs, unfinished:}
Fix $\cU$, an open cover of $M$. Define the `small blob complex' $\bc^{\cU}_*(M)$ to be the subcomplex of $\bc_*(M)$ of all blob diagrams in which every blob is contained in some open set of $\cU$.