Binary file diagrams/pdf/tempkw/blah10.pdf has changed

--- a/preamble.tex	Sun Dec 13 01:32:28 2009 +0000
+++ b/preamble.tex	Wed Dec 16 19:30:13 2009 +0000
@@ -71,7 +71,9 @@
 \newtheorem{question}{Question}
 \newtheorem{property}{Property}
 \newtheorem{axiom}{Axiom}
+\newenvironment{axiom-numbered}[2]{\textbf{Axiom #1(#2)}\it}{}
 \newenvironment{preliminary-axiom}[2]{\textbf{Axiom #1 [preliminary] (#2)}\it}{}
+\newenvironment{example}[1]{\textbf{Example (#1)}}{} %% how do you do numbering?
 \newenvironment{rem}{\noindent\textsl{Remark.}}{}  % perhaps looks better than rem above?
 \numberwithin{equation}{section}
 %\numberwithin{figure}{section}

--- a/sandbox.tex	Sun Dec 13 01:32:28 2009 +0000
+++ b/sandbox.tex	Wed Dec 16 19:30:13 2009 +0000
@@ -12,57 +12,8 @@
 \title{Sandbox}
 
 \begin{document}
-\begin{equation*}
-\begin{tikzpicture}
-\def\rad{1}
-\def\srad{0.75}
-\foreach \i in {0, 1, 2} {
-	\node(\i) at ($\i*(4.5,0)$) {};
-}
-\draw (0) circle (\rad);
-
-\draw ($(1)+(1,0)$) circle (\srad);
-\draw[fill=white] (1) circle (\rad);
-
-\begin{scope}
-\draw[clip] (2) circle (\rad);
-\draw ($(2)+(1,0)$) circle (\srad);
-\end{scope}
-
-\end{tikzpicture}
-\end{equation*}
 
 \begin{equation*}
-\begin{tikzpicture}
-\node(M) at (0,0) {$M$};
-\foreach \angle/\label in {0/K', 45/K'L, 90/L, 135/KL, 180/K, 225/KL', 270/L', 315/K'L'} {
-	\node(\label) at (\angle:4) {$\label$};
-}
-\foreach \label in {K', L, K, L'} {
-	\node(\label M) at ($(M)!0.6!(\label)$) {$\label M$};
-	\draw[->] (\label M)--(M);
-	\draw[->] (\label M)--(\label);
-}
-\foreach \k in {K, K'} {
-	\foreach \l in {L, L'} {
-		\node(\k \l M) at (intersection cs: first line={(\k M)--(\l)}, second line={(\l M)--(\k)}) {$\k \l M$};
-		\draw[->] (\k \l M)--(M);
-		\draw[->] (\k \l M)--(\k \l );
-		\draw[->] (\k \l M)--(\k M);
-		\draw[->] (\k \l M)--(\l);
-		\draw[->] (\k \l M)--(\l M);
-		\draw[->] (\k \l M)--(\k);
-	}
-}
-\draw[->] (K'L') to[bend right=10] (K');
-\draw[->] (K'L') to[bend left=10] (L');
-\draw[->] (KL') to[bend left=10] (K);
-\draw[->] (KL') to[bend right=10] (L');
-\draw[->] (K'L) to[bend left=10] (K');
-\draw[->] (K'L) to[bend right=10] (L);
-\draw[->] (KL) to[bend right=10] (K);
-\draw[->] (KL) to[bend left=10] (L);
-\end{tikzpicture}
 \end{equation*}
 
 \end{document}

--- a/text/article_preamble.tex	Sun Dec 13 01:32:28 2009 +0000
+++ b/text/article_preamble.tex	Wed Dec 16 19:30:13 2009 +0000
@@ -26,7 +26,7 @@
 \usetikzlibrary{shapes}
 \usetikzlibrary{backgrounds}
 \usetikzlibrary{decorations,decorations.pathreplacing}
-\usetikzlibrary{fit,calc}
+\usetikzlibrary{fit,calc,through}
 
 \usepackage{color}
 

--- a/text/ncat.tex	Sun Dec 13 01:32:28 2009 +0000
+++ b/text/ncat.tex	Wed Dec 16 19:30:13 2009 +0000
@@ -5,15 +5,6 @@
 \section{$n$-categories}
 \label{sec:ncats}
 
-%In order to make further progress establishing properties of the blob complex,
-%we need a definition of $A_\infty$ $n$-category that is adapted to our needs.
-%(Even in the case $n=1$, we need the new definition given below.)
-%It turns out that the $A_\infty$ $n$-category definition and the plain $n$-category
-%definition are mostly the same, so we give a new definition of plain
-%$n$-categories too.
-%We also define modules and tensor products for both plain and $A_\infty$ $n$-categories.
-
-
 \subsection{Definition of $n$-categories}
 
 Before proceeding, we need more appropriate definitions of $n$-categories, 
@@ -329,7 +320,46 @@
 (See Figure \ref{glue-collar}.)
 \begin{figure}[!ht]
 \begin{equation*}
-\mathfig{.9}{tempkw/blah10}
+\begin{tikzpicture}
+\def\rad{1}
+\def\srad{0.75}
+\def\gap{4.5}
+\foreach \i in {0, 1, 2} {
+	\node(\i) at ($\i*(\gap,0)$) [draw, circle through = {($\i*(\gap,0)+(\rad,0)$)}] {};
+	\node(\i-small) at (\i.east) [circle through={($(\i.east)+(\srad,0)$)}] {};
+	\foreach \n in {1,2} {
+		\fill (intersection \n of \i-small and \i) node(\i-intersection-\n) {} circle (2pt);
+	}
+}
+
+\begin{scope}[decoration={brace,amplitude=10,aspect=0.5}]
+	\draw[decorate] (0-intersection-1.east) -- (0-intersection-2.east);
+\end{scope}
+\node[right=1mm] at (0.east) {$a$};
+\draw[->] ($(0.east)+(0.75,0)$) -- ($(1.west)+(-0.2,0)$);
+
+\draw (1-small)  circle (\srad);
+\foreach \theta in {90, 72, ..., -90} {
+	\draw[blue] (1) -- ($(1)+(\rad,0)+(\theta:\srad)$);
+}
+\filldraw[fill=white] (1) circle (\rad);
+\foreach \n in {1,2} {
+	\fill (intersection \n of 1-small and 1) circle (2pt);
+}
+\node[below] at (1-small.south) {$a \times J$};
+\draw[->] ($(1.east)+(1,0)$) -- ($(2.west)+(-0.2,0)$);
+
+\begin{scope}
+\path[clip] (2) circle (\rad);
+\draw[clip] (2.east) circle (\srad);
+\foreach \y in {1, 0.86, ..., -1} {
+	\draw[blue] ($(2)+(-1,\y) $)-- ($(2)+(1,\y)$);
+}
+\end{scope}
+\end{tikzpicture}
+\end{equation*}
+\begin{equation*}
+\xymatrix@C+2cm{\cC(X) \ar[r]^(0.45){\text{glue}} & \cC(X \cup \text{collar}) \ar[r]^(0.55){\text{homeo}} & \cC(X)}
 \end{equation*}
 
 \caption{Extended homeomorphism.}\label{glue-collar}\end{figure}
@@ -345,12 +375,13 @@
 
 The revised axiom is
 
-\begin{axiom}[Extended isotopy invariance in dimension $n$]
+\stepcounter{axiom}
+\begin{axiom-numbered}{\arabic{axiom}a}{Extended isotopy invariance in dimension $n$}
 \label{axiom:extended-isotopies}
 Let $X$ be an $n$-ball and $f: X\to X$ be a homeomorphism which restricts
 to the identity on $\bd X$ and is extended isotopic (rel boundary) to the identity.
 Then $f$ acts trivially on $\cC(X)$.
-\end{axiom}
+\end{axiom-numbered}
 
 \nn{need to rephrase this, since extended isotopies don't correspond to homeomorphisms.}
 
@@ -360,7 +391,7 @@
 isotopy invariance with the requirement that families of homeomorphisms act.
 For the moment, assume that our $n$-morphisms are enriched over chain complexes.
 
-\begin{axiom}[Families of homeomorphisms act in dimension $n$]
+\begin{axiom-numbered}{\arabic{axiom}b}{Families of homeomorphisms act in dimension $n$}
 For each $n$-ball $X$ and each $c\in \cC(\bd X)$ we have a map of chain complexes
 \[
 	C_*(\Homeo_\bd(X))\ot \cC(X; c) \to \cC(X; c) .
@@ -372,7 +403,7 @@
 a diagram like the one in Proposition \ref{CDprop} commutes.
 \nn{repeat diagram here?}
 \nn{restate this with $\Homeo(X\to X')$?  what about boundary fixing property?}
-\end{axiom}
+\end{axiom-numbered}
 
 We should strengthen the above axiom to apply to families of extended homeomorphisms.
 To do this we need to explain how extended homeomorphisms form a topological space.
@@ -412,13 +443,15 @@
 
 \medskip
 
+\subsection{Examples of $n$-categories}
+
 \nn{these examples need to be fleshed out a bit more}
 
-Examples of plain $n$-categories:
-\begin{itemize}
+We know describe several classes of examples of $n$-categories satisfying our axioms.
 
-\item Let $F$ be a closed $m$-manifold (e.g.\ a point).
-Let $T$ be a topological space.
+\begin{example}{Maps to a space}
+\label{ex:maps-to-a-space}%
+Fix $F$ a closed $m$-manifold (keep in mind the case where $F$ is a point). Fix a `target space' $T$, any topological space.
 For $X$ a $k$-ball or $k$-sphere with $k < n$, define $\cC(X)$ to be the set of 
 all maps from $X\times F$ to $T$.
 For $X$ an $n$-ball define $\cC(X)$ to be maps from $X\times F$ to $T$ modulo
@@ -426,8 +459,11 @@
 (Note that homotopy invariance implies isotopy invariance.)
 For $a\in \cC(X)$ define the product morphism $a\times D \in \cC(X\times D)$ to
 be $a\circ\pi_X$, where $\pi_X : X\times D \to X$ is the projection.
+\end{example}
 
-\item We can linearize the above example as follows.
+\begin{example}{Linearized, twisted, maps to a space}
+\label{ex:linearized-maps-to-a-space}%
+We can linearize the above example as follows.
 Let $\alpha$ be an $(n{+}m{+}1)$-cocycle on $T$ with values in a ring $R$
 (e.g.\ the trivial cocycle).
 For $X$ of dimension less than $n$ define $\cC(X)$ as before.
@@ -436,6 +472,11 @@
 modulo the relation that if $a$ is homotopic to $b$ (rel boundary) via a homotopy
 $h: X\times F\times I \to T$, then $a \sim \alpha(h)b$.
 \nn{need to say something about fundamental classes, or choose $\alpha$ carefully}
+\end{example}
+
+\begin{itemize}
+
+\item \nn{Continue converting these into examples}
 
 \item Given a traditional $n$-category $C$ (with strong duality etc.),
 define $\cC(X)$ (with $\dim(X) < n$) 
@@ -473,22 +514,25 @@
 \end{itemize}
 
 
-Examples of $A_\infty$ $n$-categories:
-\begin{itemize}
+We have two main examples of $A_\infty$ $n$-categories, coming from maps to a target space and from the blob complex.
 
-\item Same as in example \nn{xxxx} above (fiber $F$, target space $T$),
-but we define, for an $n$-ball $X$, $\cC(X; c)$ to be the chain complex 
-$C_*(\Maps_c(X\times F))$, where $\Maps_c$ denotes continuous maps restricting to $c$ on the boundary,
+\begin{example}{Chains of maps to a space}
+We can modify Example \ref{ex:maps-to-a-space} above by defining $\cC(X; c)$ for an $n$-ball $X$  to be the chain complex 
+$C_*(\Maps_c(X\times F \to T))$, where $\Maps_c$ denotes continuous maps restricting to $c$ on the boundary,
 and $C_*$ denotes singular chains.
+\end{example}
 
-\item
+\begin{example}{Blob complexes of balls (with a fiber)}
+Fix an $m$-dimensional manifold $F$.
 Given a plain $n$-category $C$, 
-define $\cC(X; c) = \bc^C_*(X\times F; c)$, where $X$ is an $n$-ball
-and $\bc^C_*$ denotes the blob complex based on $C$.
+when $X$ is a $k$-ball or $k$-sphere, with $k<n-m$, define $\cC(X) = C(X)$. When $X$ is an $(n-m)$-ball,
+define $\cC(X; c) = \bc^C_*(X\times F; c)$
+where $\bc^C_*$ denotes the blob complex based on $C$.
+\end{example}
 
-\item \nn{should add $\infty$ version of bordism $n$-cat}
-
-\end{itemize}
+\begin{defn}
+\nn{should add $\infty$ version of bordism $n$-cat}
+\end{defn}