author | Scott Morrison <scott@tqft.net> |
Sun, 21 Nov 2010 15:09:24 -0800 | |
changeset 655 | 71eb442b8500 |
parent 616 | b66138a1cde8 |
permissions | -rw-r--r-- |
571
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
1 |
%auto-ignore |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
2 |
%!TEX root = pnas.tex |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
3 |
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
4 |
\def\bc{{\mathcal B}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
5 |
\def\btc{{\mathcal{BT}}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
6 |
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
7 |
\newcommand{\HC}{\operatorname{Hoch}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
8 |
\newcommand{\HH}{\operatorname{HH}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
9 |
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
10 |
\newcommand{\CM}[2]{C_*(\Maps(#1 \to #2))} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
11 |
\newcommand{\CD}[1]{C_*(\Diff(#1))} |
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
12 |
\newcommand{\CH}[1]{CH_*(#1)} |
571
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
13 |
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
14 |
\newcommand{\cl}[1]{\underrightarrow{#1}} |
598
20de3d710f77
writing inconclusively about homotopy colimits, but have to run
Scott Morrison <scott@tqft.net>
parents:
575
diff
changeset
|
15 |
\newcommand{\clh}[1]{\underrightarrow{#1}_{{}_{{}_{{}_h}}}} |
20de3d710f77
writing inconclusively about homotopy colimits, but have to run
Scott Morrison <scott@tqft.net>
parents:
575
diff
changeset
|
16 |
|
571
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
17 |
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
18 |
\newcommand{\Set}{\text{\textbf{Set}}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
19 |
\newcommand{\Vect}{\text{\textbf{Vect}}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
20 |
\newcommand{\Kom}{\text{\textbf{Kom}}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
21 |
\newcommand{\Cat}{\mathcal{C}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
22 |
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
23 |
\newcommand{\cell}{\mathfrak{D}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
24 |
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
25 |
\newcommand{\into}{\hookrightarrow} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
26 |
\newcommand{\onto}{\twoheadrightarrow} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
27 |
\newcommand{\iso}{\cong} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
28 |
\newcommand{\quism}{\underset{\text{q.i.}}{\simeq}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
29 |
\newcommand{\htpy}{\simeq} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
30 |
\newcommand{\actsOn}{\circlearrowright} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
31 |
\newcommand{\xto}[1]{\xrightarrow{#1}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
32 |
\newcommand{\isoto}{\xto{\iso}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
33 |
\newcommand{\quismto}{\xrightarrow[\text{q.i.}]{\iso}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
34 |
\newcommand{\diffeoto}{\xrightarrow[\text{diffeo}]{\iso}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
35 |
\newcommand{\htpyto}{\xrightarrow[\text{htpy}]{\htpy}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
36 |
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
37 |
\newcommand{\directSum}{\oplus} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
38 |
\newcommand{\DirectSum}{\bigoplus} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
39 |
\newcommand{\tensor}{\otimes} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
40 |
\newcommand{\Tensor}{\bigotimes} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
41 |
|
611 | 42 |
\newcommand{\Bord}{\operatorname{Bord}} |
43 |
||
574 | 44 |
\newcommand{\selfarrow}{\ensuremath{\smash{\tikz[baseline]{\clip (0,0.36) rectangle (0.39,-0.16); \draw[->] (0,0.2) .. controls (0.5,0.6) and (0.5,-0.4) .. (0,0);}}}} |
571
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
45 |
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
46 |
\newcommand{\bdy}{\partial} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
47 |
\newcommand{\compose}{\circ} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
48 |
\newcommand{\eset}{\emptyset} |
616
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
49 |
|
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
50 |
\newcommand{\id}{\boldsymbol{1}} |
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
51 |
|
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
52 |
% kw_macros |
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
53 |
|
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
54 |
%!TEX root = ../blob1.tex |
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
55 |
|
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
56 |
%%%%% excerpts from KW's include file of standard macros |
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
57 |
%%% (with various new ones added) |
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
58 |
|
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
59 |
\def\z{\mathbb{Z}} |
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
60 |
\def\r{\mathbb{R}} |
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
61 |
\def\c{\mathbb{C}} |
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
62 |
\def\t{\mathbb{T}} |
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
63 |
\def\ebb{\mathbb{E}} |
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
64 |
|
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
65 |
\def\k{{\bf k}} |
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
66 |
|
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
67 |
\def\du{\sqcup} |
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
68 |
\def\bd{\partial} |
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
69 |
\def\sub{\subset} |
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
70 |
\def\subeq{\subseteq} |
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
71 |
\def\sup{\supset} |
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
72 |
%\def\setmin{\smallsetminus} |
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
73 |
\def\setmin{\setminus} |
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
74 |
\def\ep{\epsilon} |
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
75 |
\def\sgl{_\mathrm{gl}} |
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
76 |
\def\op{^\mathrm{op}} |
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
77 |
\def\deq{\stackrel{\mathrm{def}}{=}} |
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
78 |
\def\pd#1#2{\frac{\partial #1}{\partial #2}} |
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
79 |
%\def\lf{\overline{\cC}} |
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
80 |
\def\lf{\cC} |
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
81 |
\def\ot{\otimes} |
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
82 |
\def\vphi{\varphi} |
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
83 |
\def\inv{^{-1}} |
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
84 |
\def\ol{\overline} |
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
85 |
\def\BD{BD} |
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
86 |
|
611 | 87 |
\def\spl{_\pitchfork} |
571
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
88 |
|
616
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
89 |
|
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
90 |
% equations |
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
91 |
\newcommand{\eq}[1]{\begin{displaymath}#1\end{displaymath}} |
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
92 |
\newcommand{\eqar}[1]{\begin{eqnarray*}#1\end{eqnarray*}} |
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
93 |
\newcommand{\eqspl}[1]{\begin{displaymath}\begin{split}#1\end{split}\end{displaymath}} |
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
94 |
|
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
95 |
\DeclareMathOperator*{\colim}{colim} |
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
96 |
\DeclareMathOperator*{\hocolim}{hocolim} |
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
97 |
|
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
98 |
\DeclareMathOperator{\most}{most} |
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
99 |
\DeclareMathOperator{\rest}{rest} |
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
100 |
|
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
101 |
|
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
102 |
\DeclareMathOperator{\kone}{cone} |
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
103 |
|
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
104 |
|
b66138a1cde8
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net>
parents:
615
diff
changeset
|
105 |
% new theorems |
571
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
106 |
|
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
107 |
\newtheorem{prop}{Proposition} |
602
109ecc26c50d
writing intro; just an expanded version of the existing notes, feel free to savage
Scott Morrison <scott@tqft.net>
parents:
598
diff
changeset
|
108 |
\newtheorem{property}[prop]{Property} |
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
109 |
\newtheorem{thm}[prop]{Theorem} |
575
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
110 |
\newtheorem{lem}[prop]{Lemma} |
573
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
111 |
\newtheorem{defn}[prop]{Definition} |
575
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
112 |
\newtheorem{axiom}[prop]{Axiom} |
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
113 |
|
571
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
114 |
\newenvironment{rem}{\noindent\textsl{Remark.}}{} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
115 |
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
116 |
% \mathrlap -- a horizontal \smash-------------------------------- |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
117 |
% For comparison, the existing overlap macros: |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
118 |
% \def\llap#1{\hbox to 0pt{\hss#1}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
119 |
% \def\rlap#1{\hbox to 0pt{#1\hss}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
120 |
\def\clap#1{\hbox to 0pt{\hss#1\hss}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
121 |
\def\mathllap{\mathpalette\mathllapinternal} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
122 |
\def\mathrlap{\mathpalette\mathrlapinternal} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
123 |
\def\mathclap{\mathpalette\mathclapinternal} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
124 |
\def\mathllapinternal#1#2{% |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
125 |
\llap{$\mathsurround=0pt#1{#2}$}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
126 |
\def\mathrlapinternal#1#2{% |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
127 |
\rlap{$\mathsurround=0pt#1{#2}$}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
128 |
\def\mathclapinternal#1#2{% |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
129 |
\clap{$\mathsurround=0pt#1{#2}$}} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
130 |
|
611 | 131 |
% tricky way to iterate macros over a list |
132 |
\def\semicolon{;} |
|
133 |
\def\applytolist#1{ |
|
134 |
\expandafter\def\csname multi#1\endcsname##1{ |
|
135 |
\def\multiack{##1}\ifx\multiack\semicolon |
|
136 |
\def\next{\relax} |
|
137 |
\else |
|
138 |
\csname #1\endcsname{##1} |
|
139 |
\def\next{\csname multi#1\endcsname} |
|
140 |
\fi |
|
141 |
\next} |
|
142 |
\csname multi#1\endcsname} |
|
143 |
||
144 |
% \def\cA{{\cal A}} for A..Z |
|
145 |
\def\calc#1{\expandafter\def\csname c#1\endcsname{{\mathcal #1}}} |
|
146 |
\applytolist{calc}QWERTYUIOPLKJHGFDSAZXCVBNM; |
|
147 |
||
148 |
% \def\bbA{{\mathbb A}} for A..Z |
|
149 |
\def\bbc#1{\expandafter\def\csname bb#1\endcsname{{\mathbb #1}}} |
|
150 |
\applytolist{bbc}QWERTYUIOPLKJHGFDSAZXCVBNM; |
|
151 |
||
152 |
% \def\bA{{\mathbf A}} for A..Z |
|
615
222da6df3edc
various minor, and moving mapping spaces to 'specializations'
Scott Morrison <scott@tqft.net>
parents:
614
diff
changeset
|
153 |
\def\bfc#1{\expandafter\def\csname bf#1\endcsname{{\mathbf #1}}} |
222da6df3edc
various minor, and moving mapping spaces to 'specializations'
Scott Morrison <scott@tqft.net>
parents:
614
diff
changeset
|
154 |
\applytolist{bfc}QWERTYUIOPLKJHGFDSAZXCVBNM; |
611 | 155 |
|
156 |
% \DeclareMathOperator{\pr}{pr} etc. |
|
157 |
\def\declaremathop#1{\expandafter\DeclareMathOperator\csname #1\endcsname{#1}} |
|
158 |
\applytolist{declaremathop}{im}{gl}{ev}{coinv}{tr}{rot}{Eq}{obj}{mor}{ob}{Rep}{Tet}{cat}{Maps}{Diff}{Homeo}{sign}{supp}{Nbd}{res}{rad}{Compat}; |
|
159 |
||
160 |
% \todo, \nn and \noop |
|
161 |
\newcommand{\todo}[1]{\textbf{\color[rgb]{.8,.2,.5}\small TODO: #1}} |
|
162 |
\def\nn#1{{{\color[rgb]{.2,.5,.6} \small [[#1]]}}} |
|
163 |
\long\def\noop#1{} |
|
164 |
||
165 |
||
166 |
||
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
167 |
% references |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
168 |
|
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
169 |
\newcommand{\arxiv}[1]{\href{http://arxiv.org/abs/#1}{\tt arXiv:\nolinkurl{#1}}} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
170 |
\newcommand{\doi}[1]{\href{http://dx.doi.org/#1}{{\tt DOI:#1}}} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
171 |
\newcommand{\euclid}[1]{\href{http://projecteuclid.org/euclid.cmp/#1}{{\tt at Project Euclid: #1}}} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
172 |
\newcommand{\mathscinet}[1]{\href{http://www.ams.org/mathscinet-getitem?mr=#1}{\tt #1}} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
173 |
\newcommand{\googlebooks}[1]{(preview at \href{http://books.google.com/books?id=#1}{google books})} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
174 |
|
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
175 |
|
575
4e6f00784bd3
writing on the plane to kyoto: the blob complex as homotopy colimit and explicitly (but not why these are the same), and copy and paste of statements of axioms
Scott Morrison <scott@tqft.net>
parents:
574
diff
changeset
|
176 |
|
573
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
177 |
% figures |
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
178 |
|
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
179 |
\newcommand{\mathfig}[2]{\ensuremath{\hspace{-3pt}\begin{array}{c}% |
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
180 |
\raisebox{-2.5pt}{\includegraphics[width=#1\textwidth]{diagrams/#2}}% |
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
181 |
\end{array}\hspace{-3pt}}} |
8378e03d3c7f
starting on cell decompositions
Scott Morrison <scott@tqft.net>
parents:
572
diff
changeset
|
182 |
|
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
183 |
|
571
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
184 |
% packages |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
185 |
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
186 |
\usepackage{tikz} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
187 |
\usetikzlibrary{shapes} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
188 |
\usetikzlibrary{backgrounds} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
189 |
\usetikzlibrary{decorations,decorations.pathreplacing} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
190 |
\usetikzlibrary{fit,calc,through} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
191 |
|
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
192 |
\usepackage[all,color]{xy} |
f958e0ea62f8
compilable PNAS file\! The blob intro typesets (poorly) onto 3 2-column pages
Scott Morrison <scott@tqft.net>
parents:
diff
changeset
|
193 |
\SelectTips{cm}{} |
572
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
194 |
|
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
195 |
\usepackage[pdftex,plainpages=false,hypertexnames=false,pdfpagelabels]{hyperref} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
196 |
|
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
197 |
\usepackage{xcolor} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
198 |
\definecolor{dark-red}{rgb}{0.7,0.25,0.25} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
199 |
\definecolor{dark-blue}{rgb}{0.15,0.15,0.55} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
200 |
\definecolor{medium-blue}{rgb}{0,0,0.65} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
201 |
|
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
202 |
\hypersetup{ |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
203 |
colorlinks, linkcolor={dark-red}, |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
204 |
citecolor={dark-blue}, urlcolor={medium-blue} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
205 |
} |
e0f5ec582725
incorporating statements of results in PNAS article
Scott Morrison <scott@tqft.net>
parents:
571
diff
changeset
|
206 |