text/ncat.tex
changeset 367 5ce95bd193ba
parent 366 b69b09d24049
child 381 84bcc5fdf8c2
--- a/text/ncat.tex	Wed Jun 16 14:39:25 2010 -0700
+++ b/text/ncat.tex	Wed Jun 16 15:29:19 2010 -0700
@@ -1706,9 +1706,7 @@
 Another way to say this is that $(X, M)$ is homeomorphic to $B^{k-1}\times([-1,1], \{0\})$.
 
 \begin{figure}[!ht]
-\begin{equation*}
-\mathfig{.85}{tempkw/feb21a}
-\end{equation*}
+$$\tikz[baseline,line width=2pt]{\draw[blue] (-2,0)--(2,0); \fill[red] (0,0) circle (0.1);} \qquad \qquad \tikz[baseline,line width=2pt]{\draw[blue] (0,0) circle (2 and 1); \draw[red] (0,1)--(0,-1);}$$
 \caption{0-marked 1-ball and 0-marked 2-ball}
 \label{feb21a}
 \end{figure}
@@ -1751,9 +1749,22 @@
 These restrictions are 0-morphisms $(a, b)$ of $\cA$ and $\cB$.
 
 \begin{figure}[!ht]
-\begin{equation*}
-\mathfig{1}{tempkw/feb21b}
-\end{equation*}
+$$
+\begin{tikzpicture}[blue,line width=2pt]
+\draw (0,1) -- (0,-1) node[below] {$X$};
+
+\draw (2,0) -- (4,0) node[below] {$J$};
+\fill[red] (3,0) circle (0.1);
+
+\draw (6,0) node(a) {} arc (135:90:4) node(top) {} arc (90:45:4) node(b) {} arc (-45:-90:4) node(bottom) {} arc(-90:-135:4);
+\draw[red] (top.center) -- (bottom.center);
+\fill (a) circle (0.1) node[left] {\color{green!50!brown} $a$};
+\fill (b) circle (0.1) node[right] {\color{green!50!brown} $b$};
+
+\path (bottom) node[below]{$X \times J$};
+
+\end{tikzpicture}
+$$
 \caption{The pinched product $X\times J$}
 \label{feb21b}
 \end{figure}
@@ -1767,9 +1778,29 @@
 This amounts to a definition of taking tensor products of $0$-sphere module over $n$-categories.
 
 \begin{figure}[!ht]
-\begin{equation*}
-\mathfig{1}{tempkw/feb21c}
-\end{equation*}
+$$
+\begin{tikzpicture}[baseline,line width = 2pt]
+\draw[blue] (0,0) -- (6,0);
+\foreach \x/\n in {0.5/0,1.5/1,3/2,4.5/3,5.5/4} {
+	\path (\x,0)  node[below] {\color{green!50!brown}$\cA_{\n}$};
+}
+\foreach \x/\n in {1/0,2/1,4/2,5/3} {
+	\fill[red] (\x,0) circle (0.1) node[above] {\color{green!50!brown}$\cM_{\n}$};
+}
+\end{tikzpicture}
+\qquad
+\qquad
+\begin{tikzpicture}[baseline,line width = 2pt]
+\draw[blue] (0,0) circle (2);
+\foreach \q/\n in {-45/0,90/1,180/2} {
+	\path (\q:2.4)  node {\color{green!50!brown}$\cA_{\n}$};
+}
+\foreach \q/\n in {60/0,120/1,-120/2} {
+	\fill[red] (\q:2) circle (0.1);
+	\path (\q:2.4) node {\color{green!50!brown}$\cM_{\n}$};
+}
+\end{tikzpicture}
+$$
 \caption{Marked and labeled 1-manifolds}
 \label{feb21c}
 \end{figure}
@@ -1798,9 +1829,18 @@
 We now proceed as in the above module definitions.
 
 \begin{figure}[!ht]
-\begin{equation*}
-\mathfig{.4}{tempkw/feb21d}
-\end{equation*}
+$$
+\begin{tikzpicture}[baseline,line width = 2pt]
+\draw[blue] (0,0) circle (2);
+\fill[red] (0,0) circle (0.1);
+\foreach \qm/\qa/\n in {70/-30/0, 120/95/1, -120/180/2} {
+	\draw[red] (0,0) -- (\qm:2);
+	\path (\qa:1) node {\color{green!50!brown} $\cA_\n$};
+	\path (\qm+20:2.5) node(M\n) {\color{green!50!brown} $\cM_\n$};
+	\draw[line width=1pt, green!50!brown, ->] (M\n.\qm+135) to[out=\qm+135,in=\qm+90] (\qm+5:1.3);
+}
+\end{tikzpicture}
+$$
 \caption{Cone on a marked circle}
 \label{feb21d}
 \end{figure}