tikzing feb21 diagrams
authorScott Morrison <scott@tqft.net>
Wed, 16 Jun 2010 15:29:19 -0700
changeset 367 5ce95bd193ba
parent 366 b69b09d24049
child 369 2eb73a43726a
child 370 0680b6cd90cf
tikzing feb21 diagrams
diagrams/pdf/tempkw/feb21a.pdf
diagrams/pdf/tempkw/feb21b.pdf
diagrams/pdf/tempkw/feb21c.pdf
diagrams/pdf/tempkw/feb21d.pdf
sandbox.tex
text/ncat.tex
Binary file diagrams/pdf/tempkw/feb21a.pdf has changed
Binary file diagrams/pdf/tempkw/feb21b.pdf has changed
Binary file diagrams/pdf/tempkw/feb21c.pdf has changed
Binary file diagrams/pdf/tempkw/feb21d.pdf has changed
--- a/sandbox.tex	Wed Jun 16 14:39:25 2010 -0700
+++ b/sandbox.tex	Wed Jun 16 15:29:19 2010 -0700
@@ -11,48 +11,20 @@
 \title{Sandbox}
 
 \begin{document}
-
-\mathfig{.6}{tempkw/left-marked-antirefinements}
-
+\begin{equation*}
+\mathfig{.4}{tempkw/feb21d}
+\end{equation*}
 
 $$
-\begin{tikzpicture}
-\fill (0,0) circle (.1);
-\draw (0,0) -- (2,0);
-\draw (1,0.1) -- (1,-0.1);
-
-\draw [->,red] (1,0.25) -- (1,0.75);
-
-\fill (0,1) circle (.1);
-\draw (0,1) -- (2,1);
-\end{tikzpicture}
-\qquad
-\begin{tikzpicture}
-\fill (0,0) circle (.1);
-\draw (0,0) -- (2,0);
-\draw (1,0.1) -- (1,-0.1);
-
-\draw [->,red] (1,0.25) -- (1,0.75);
-
-\fill (0,1) circle (.1);
-\draw (0,1) -- (1,1);
-\end{tikzpicture}
-\qquad
-\begin{tikzpicture}
-\fill (0,0) circle (.1);
-\draw (0,0) -- (3,0);
-\foreach \x in {0.5, 1.0, 1.25, 1.5, 2.0, 2.5} {
-	\draw (\x,0.1) -- (\x,-0.1);
+\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);
 }
-
-\draw [->,red] (1,0.25) -- (1,0.75);
-
-\fill (0,1) circle (.1);
-\draw (0,1) -- (2,1);
-\foreach \x in {1.0, 1.5} {
-	\draw (\x,1.1) -- (\x,0.9);
-}
-
 \end{tikzpicture}
 $$
 \end{document}
--- 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}