author | Kevin Walker <kevin@canyon23.net> |
Tue, 03 Aug 2010 13:40:09 -0600 | |
changeset 508 | 3072c2614a53 |
parent 498 | b98790f0282e |
child 522 | a60c035e53bd |
permissions | -rw-r--r-- |
189 | 1 |
\documentclass[11pt,leqno]{amsart} |
2 |
||
3 |
%\usepackage{amsthm} |
|
4 |
||
5 |
\newcommand{\pathtotrunk}{./} |
|
6 |
\input{text/article_preamble} |
|
7 |
\input{text/top_matter} |
|
8 |
\input{text/kw_macros} |
|
9 |
||
10 |
%\title{Blob Homology} |
|
11 |
\title{Sandbox} |
|
12 |
||
13 |
\begin{document} |
|
456
a5d75e0f9229
filtration -> simplex, and another diagram
Scott Morrison <scott@tqft.net>
parents:
443
diff
changeset
|
14 |
|
498
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
15 |
\begin{equation*} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
16 |
\mathfig{.73}{tempkw/zo2} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
17 |
\end{equation*} |
456
a5d75e0f9229
filtration -> simplex, and another diagram
Scott Morrison <scott@tqft.net>
parents:
443
diff
changeset
|
18 |
|
498
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
19 |
\begin{tikzpicture} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
20 |
\newcommand{\rr}{6} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
21 |
\newcommand{\vertex}{node[circle,fill=black,inner sep=1pt] {}} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
22 |
|
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
23 |
\node(A) at (0,0) { |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
24 |
\begin{tikzpicture} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
25 |
\node[red,left] at (0,0) {$y$}; |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
26 |
\draw (0,0) \vertex arc (-120:-105:\rr) node[red,below] {$a$} arc(-105:-90:\rr) \vertex node[red,below](x2) {$x$}; |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
27 |
\draw (0,0) \vertex arc (120:105:\rr) node[red,above] {$a$} arc (105:90:\rr) \vertex node[red,above](x1) {$x$} -- (x2); |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
28 |
\begin{scope} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
29 |
\path[clip] (0,0) arc (-120:-60:\rr) arc (60:120:\rr); |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
30 |
\foreach \x in {0,0.24,...,3} { |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
31 |
\draw[green!50!brown] (\x,1) -- (\x,-1); |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
32 |
} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
33 |
\end{scope} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
34 |
\draw[red, decorate,decoration={brace,amplitude=5pt}] ($(x1)+(0.2,-0.2)$) -- ($(x2)+(0.2,0.2)$) node[midway, xshift=0.7cm] {$x \times I$}; |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
35 |
\end{tikzpicture} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
36 |
}; |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
37 |
|
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
38 |
\node(B) at (-4,-4) { |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
39 |
\begin{tikzpicture} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
40 |
\node[red,left] at (0,0) {$y$}; |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
41 |
\draw (0,0) \vertex |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
42 |
arc (120:105:\rr) node[red,above] {$a$} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
43 |
arc (105:90:\rr) node[red,above] {$x$} \vertex |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
44 |
arc (90:75:\rr) node[red,above] {$x \times I$} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
45 |
arc (75:60:\rr) \vertex node[red,right] {$x$} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
46 |
arc (-60:-90:\rr) node[red,below] {$a$} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
47 |
arc (-90:-120:\rr); |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
48 |
\begin{scope} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
49 |
\path[clip] (0,0) arc (-120:-60:\rr) arc (60:120:\rr); |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
50 |
\foreach \x in {0,0.48,...,9} { |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
51 |
\draw[green!50!brown] (\x/4,1) -- (\x,-1); |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
52 |
} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
53 |
\end{scope} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
54 |
\end{tikzpicture} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
55 |
}; |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
56 |
|
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
57 |
\node(C) at (4,-4) { |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
58 |
\begin{tikzpicture}[y=-1cm] |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
59 |
\node[red,left] at (0,0) {$y$}; |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
60 |
\draw (0,0) \vertex |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
61 |
arc (120:105:\rr) node[red,below] {$a$} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
62 |
arc (105:90:\rr) node[red,below] {$x$} \vertex |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
63 |
arc (90:75:\rr) node[red,below] {$x \times I$} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
64 |
arc (75:60:\rr) \vertex node[red,right] {$x$} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
65 |
arc (-60:-90:\rr) node[red,above] {$a$} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
66 |
arc (-90:-120:\rr); |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
67 |
\begin{scope} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
68 |
\path[clip] (0,0) arc (-120:-60:\rr) arc (60:120:\rr); |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
69 |
\foreach \x in {0,0.48,...,9} { |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
70 |
\draw[green!50!brown] (\x/4,1) -- (\x,-1); |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
71 |
} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
72 |
\end{scope} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
73 |
\end{tikzpicture} |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
74 |
}; |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
75 |
|
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
76 |
\draw[->] (A) -- (B); |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
77 |
\draw[->] (A) -- (C); |
b98790f0282e
diagram for producing weak identities
Scott Morrison <scott@tqft.net>
parents:
456
diff
changeset
|
78 |
\end{tikzpicture} |
189 | 79 |
\end{document} |