# HG changeset patch
# User Scott Morrison <scott@tqft.net>
# Date 1289779235 28800
# Node ID 5700634d844263fd2a971d20e2a4392e8ad90914
# Parent  357f8673564f052b9bd5e84ce00eba938fdd5916# Parent  871dffc348ab6401724e8df3fa41a91a0a3ac96d
Automated merge with https://tqft.net/hg/blob/

diff -r 357f8673564f -r 5700634d8442 pnas/pnas.tex
--- a/pnas/pnas.tex	Sun Nov 14 15:54:11 2010 -0800
+++ b/pnas/pnas.tex	Sun Nov 14 16:00:35 2010 -0800
@@ -74,7 +74,6 @@
 %\def\s{\sigma}
 
 \input{preamble}
-\input{../text/kw_macros}
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %% Don't type in anything in the following section:
@@ -380,7 +379,7 @@
 Product morphisms are compatible with gluing.
 Let $\pi:E\to X$, $\pi_1:E_1\to X_1$, and $\pi_2:E_2\to X_2$ 
 be pinched products with $E = E_1\cup E_2$.
-Let $a\in \cC(X)$, and let $a_i$ denote the restriction of $a$ to $X_i\sub X$.
+Let $a\in \cC(X)$, and let $a_i$ denote the restriction of $a$ to $X_i\subset X$.
 Then 
 \[
 	\pi^*(a) = \pi_1^*(a_1)\bullet \pi_2^*(a_2) .
@@ -407,7 +406,7 @@
 \end{axiom}
 
 To state the next axiom we need the notion of {\it collar maps} on $k$-morphisms.
-Let $X$ be a $k$-ball and $Y\sub\bd X$ be a $(k{-}1)$-ball.
+Let $X$ be a $k$-ball and $Y\subset\bd X$ be a $(k{-}1)$-ball.
 Let $J$ be a 1-ball.
 Let $Y\times_p J$ denote $Y\times J$ pinched along $(\bd Y)\times J$.
 A collar map is an instance of the composition
@@ -440,7 +439,7 @@
 \label{axiom:families}
 For each $n$-ball $X$ and each $c\in \cl{\cC}(\bd X)$ we have a map of chain complexes
 \[
-	C_*(\Homeo_\bd(X))\ot \cC(X; c) \to \cC(X; c) .
+	C_*(\Homeo_\bd(X))\tensor \cC(X; c) \to \cC(X; c) .
 \]
 These action maps are required to be associative up to homotopy,
 and also compatible with composition (gluing) in the sense that
@@ -469,8 +468,13 @@
 Boundary restrictions and gluing are again straightforward to define.
 Define product morphisms via product cell decompositions.
 
+\subsection{Example (bordism)}
+When $X$ is a $k$-ball with $k<n$, $\Bord^n(X)$ is the set of all $k$-dimensional
+submanifolds $W$ in $X\times \bbR^\infty$ which project to $X$ transversely
+to $\bd X$.
+For an $n$-ball $X$ define $\Bord^n(X)$ to be homeomorphism classes rel boundary of such $n$-dimensional submanifolds.
 
-\nn{also do bordism category}
+There is an $A_\infty$ analogue enriched in topological spaces, where at the top level we take all such submanifolds, rather than homeomorphism classes. For each fixed $\bdy W \subset \bdy X \times \bbR^\infty$, we can topologize the set of submanifolds by ambient isotopy rel boundary.
 
 \subsection{The blob complex}
 \subsubsection{Decompositions of manifolds}
@@ -503,7 +507,7 @@
 a functor $\psi_{\cC;W}$ from $\cell(W)$ to the category of sets 
 (possibly with additional structure if $k=n$).
 Each $k$-ball $X$ of a decomposition $y$ of $W$ has its boundary decomposed into $k{-}1$-balls,
-and there is a subset $\cC(X)\spl \sub \cC(X)$ of morphisms whose boundaries
+and there is a subset $\cC(X)\spl \subset \cC(X)$ of morphisms whose boundaries
 are splittable along this decomposition.
 
 \begin{defn}
@@ -511,7 +515,7 @@
 For a decomposition $x = \bigsqcup_a X_a$ in $\cell(W)$, $\psi_{\cC;W}(x)$ is the subset
 \begin{equation*}
 %\label{eq:psi-C}
-	\psi_{\cC;W}(x) \sub \prod_a \cC(X_a)\spl
+	\psi_{\cC;W}(x) \subset \prod_a \cC(X_a)\spl
 \end{equation*}
 where the restrictions to the various pieces of shared boundaries amongst the cells
 $X_a$ all agree (this is a fibered product of all the labels of $n$-cells over the labels of $n-1$-cells). When $k=n$, the `subset' and `product' in the above formula should be interpreted in the appropriate enriching category.
@@ -679,10 +683,10 @@
 (using the gluing maps described in Property \ref{property:gluing-map}) commutes (up to homotopy).
 \begin{equation*}
 \xymatrix@C+0.3cm{
-     \CH{X} \otimes \bc_*(X)
-        \ar[r]_{e_{X}}  \ar[d]^{\gl^{\Homeo}_Y \otimes \gl_Y}  &
+     \CH{X} \tensor \bc_*(X)
+        \ar[r]_{e_{X}}  \ar[d]^{\gl^{\Homeo}_Y \tensor \gl_Y}  &
             \bc_*(X) \ar[d]_{\gl_Y} \\
-     \CH{X \bigcup_Y \selfarrow} \otimes \bc_*(X \bigcup_Y \selfarrow) \ar[r]_<<<<<<<{e_{(X \bigcup_Y \scalebox{0.5}{\selfarrow})}}    & \bc_*(X \bigcup_Y \selfarrow)
+     \CH{X \bigcup_Y \selfarrow} \tensor \bc_*(X \bigcup_Y \selfarrow) \ar[r]_<<<<<<<{e_{(X \bigcup_Y \scalebox{0.5}{\selfarrow})}}    & \bc_*(X \bigcup_Y \selfarrow)
 }
 \end{equation*}
 \end{enumerate}
@@ -812,7 +816,7 @@
 the $n=1$ case of the $n$-SC operad. The blob complex $\bc_*(I, \cC)$ is a bimodule over itself, and the $A_\infty$-bimodule intertwiners are homotopy equivalent to the Hochschild cohains $Hoch^*(C, C)$. 
 The usual Deligne conjecture (proved variously in \cite{hep-th/9403055, MR1805894, MR2064592, MR1805923}) gives a map
 \[
-	C_*(LD_k)\otimes \overbrace{Hoch^*(C, C)\otimes\cdots\otimes Hoch^*(C, C)}^{\text{$k$ copies}}
+	C_*(LD_k)\tensor \overbrace{Hoch^*(C, C)\tensor\cdots\tensor Hoch^*(C, C)}^{\text{$k$ copies}}
 			\to  Hoch^*(C, C),
 \]
 which we now see to be a specialization of Theorem \ref{thm:deligne}.
diff -r 357f8673564f -r 5700634d8442 pnas/preamble.tex
--- a/pnas/preamble.tex	Sun Nov 14 15:54:11 2010 -0800
+++ b/pnas/preamble.tex	Sun Nov 14 16:00:35 2010 -0800
@@ -39,11 +39,16 @@
 \newcommand{\tensor}{\otimes}
 \newcommand{\Tensor}{\bigotimes}
 
+\newcommand{\Bord}{\operatorname{Bord}}
+
 \newcommand{\selfarrow}{\ensuremath{\smash{\tikz[baseline]{\clip (0,0.36) rectangle (0.39,-0.16); \draw[->] (0,0.2) .. controls (0.5,0.6) and (0.5,-0.4) .. (0,0);}}}}
 
+\newcommand{\bd}{\partial}
 \newcommand{\bdy}{\partial}
+\newcommand{\du}{\sqcup}
 \newcommand{\compose}{\circ}
 \newcommand{\eset}{\emptyset}
+\def\spl{_\pitchfork}
 
 \newcommand{\id}{\boldsymbol{1}}
 
@@ -71,6 +76,42 @@
 \def\mathclapinternal#1#2{%
 \clap{$\mathsurround=0pt#1{#2}$}}
 
+% tricky way to iterate macros over a list
+\def\semicolon{;}
+\def\applytolist#1{
+    \expandafter\def\csname multi#1\endcsname##1{
+        \def\multiack{##1}\ifx\multiack\semicolon
+            \def\next{\relax}
+        \else
+            \csname #1\endcsname{##1}
+            \def\next{\csname multi#1\endcsname}
+        \fi
+        \next}
+    \csname multi#1\endcsname}
+
+% \def\cA{{\cal A}} for A..Z
+\def\calc#1{\expandafter\def\csname c#1\endcsname{{\mathcal #1}}}
+\applytolist{calc}QWERTYUIOPLKJHGFDSAZXCVBNM;
+
+% \def\bbA{{\mathbb A}} for A..Z
+\def\bbc#1{\expandafter\def\csname bb#1\endcsname{{\mathbb #1}}}
+\applytolist{bbc}QWERTYUIOPLKJHGFDSAZXCVBNM;
+
+% \def\bA{{\mathbf A}} for A..Z
+\def\bc#1{\expandafter\def\csname b#1\endcsname{{\mathbf #1}}}
+\applytolist{bc}QWERTYUIOPLKJHGFDSAZXCVBNM;
+
+% \DeclareMathOperator{\pr}{pr} etc.
+\def\declaremathop#1{\expandafter\DeclareMathOperator\csname #1\endcsname{#1}}
+\applytolist{declaremathop}{im}{gl}{ev}{coinv}{tr}{rot}{Eq}{obj}{mor}{ob}{Rep}{Tet}{cat}{Maps}{Diff}{Homeo}{sign}{supp}{Nbd}{res}{rad}{Compat};
+
+% \todo, \nn and \noop
+\newcommand{\todo}[1]{\textbf{\color[rgb]{.8,.2,.5}\small TODO: #1}}
+\def\nn#1{{{\color[rgb]{.2,.5,.6} \small [[#1]]}}}
+\long\def\noop#1{}
+
+
+
 % references
 
 \newcommand{\arxiv}[1]{\href{http://arxiv.org/abs/#1}{\tt arXiv:\nolinkurl{#1}}}
@@ -80,8 +121,6 @@
 \newcommand{\googlebooks}[1]{(preview at \href{http://books.google.com/books?id=#1}{google books})}
 
 
-\newcommand{\todo}[1]{\textbf{\color[rgb]{.8,.2,.5}\small TODO: #1}}
-
 
 % figures
 
diff -r 357f8673564f -r 5700634d8442 preamble.tex
--- a/preamble.tex	Sun Nov 14 15:54:11 2010 -0800
+++ b/preamble.tex	Sun Nov 14 16:00:35 2010 -0800
@@ -173,6 +173,8 @@
 \newcommand{\Kom}{\text{\textbf{Kom}}}
 \newcommand{\Cat}{\mathcal{C}}
 
+\newcommand{\Bord}{\operatorname{Bord}}
+
 \newcommand{\Inv}[1]{\operatorname{Inv}\left(#1\right)}
 \newcommand{\Hom}[3]{\operatorname{Hom}_{#1}\left(#2,#3\right)}
 \newcommand{\End}[1]{\operatorname{End}\left(#1\right)}
diff -r 357f8673564f -r 5700634d8442 text/ncat.tex
--- a/text/ncat.tex	Sun Nov 14 15:54:11 2010 -0800
+++ b/text/ncat.tex	Sun Nov 14 16:00:35 2010 -0800
@@ -771,7 +771,6 @@
 }
 
 
-\newcommand{\Bord}{\operatorname{Bord}}
 \begin{example}[The bordism $n$-category, plain version]
 \label{ex:bord-cat}
 \rm