sandbox.tex
author Scott Morrison <scott@tqft.net>
Wed, 28 Jul 2010 13:39:52 -0700
changeset 498 b98790f0282e
parent 456 a5d75e0f9229
child 522 a60c035e53bd
permissions -rw-r--r--
diagram for producing weak identities
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
189
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     1
\documentclass[11pt,leqno]{amsart}
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     2
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     3
%\usepackage{amsthm}
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     4
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     5
\newcommand{\pathtotrunk}{./}
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     6
\input{text/article_preamble}
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     7
\input{text/top_matter}
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     8
\input{text/kw_macros}
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     9
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    10
%\title{Blob Homology}
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    11
\title{Sandbox}
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    12
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    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
scott@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    79
\end{document}