text/kw_macros.tex
author Scott Morrison <scott@tqft.net>
Sat, 26 Jun 2010 16:31:28 -0700
changeset 400 a02a6158f3bd
parent 308 be2d126ce79b
child 402 853376c08d76
permissions -rw-r--r--
Breaking up 'properties' in the intro into smaller subsections, converting many properties back to theorems, and numbering according to where they occur in the text. Not completely done, e.g. the action map which needs statements made consistent.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
73
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 71
diff changeset
     1
%!TEX root = ../blob1.tex
71
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     2
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     3
%%%%% excerpts from KW's include file of standard macros
197
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 192
diff changeset
     4
%%% (with various new ones added)
71
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     5
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     6
\def\z{\mathbb{Z}}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     7
\def\r{\mathbb{R}}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     8
\def\c{\mathbb{C}}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
     9
\def\t{\mathbb{T}}
86
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 83
diff changeset
    10
\def\ebb{\mathbb{E}}
71
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    11
258
fd5d1647f4f3 starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents: 222
diff changeset
    12
\def\k{{\bf k}}
fd5d1647f4f3 starting write up module morphism def
Kevin Walker <kevin@canyon23.net>
parents: 222
diff changeset
    13
71
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    14
\def\du{\sqcup}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    15
\def\bd{\partial}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    16
\def\sub{\subset}
83
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 74
diff changeset
    17
\def\subeq{\subseteq}
71
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    18
\def\sup{\supset}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    19
%\def\setmin{\smallsetminus}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    20
\def\setmin{\setminus}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    21
\def\ep{\epsilon}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    22
\def\sgl{_\mathrm{gl}}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    23
\def\op{^\mathrm{op}}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    24
\def\deq{\stackrel{\mathrm{def}}{=}}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    25
\def\pd#1#2{\frac{\partial #1}{\partial #2}}
216
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 212
diff changeset
    26
%\def\lf{\overline{\cC}}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 212
diff changeset
    27
\def\lf{\cC}
74
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 73
diff changeset
    28
\def\ot{\otimes}
212
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 197
diff changeset
    29
\def\vphi{\varphi}
107
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 94
diff changeset
    30
\def\inv{^{-1}}
298
25e551fed344 more Deligne
Kevin Walker <kevin@canyon23.net>
parents: 258
diff changeset
    31
\def\ol{\overline}
71
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    32
192
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 119
diff changeset
    33
\def\spl{_\pitchfork}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 119
diff changeset
    34
94
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 86
diff changeset
    35
%\def\nn#1{{{\it \small [#1]}}}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 86
diff changeset
    36
\def\nn#1{{{\color[rgb]{.2,.5,.6} \small [#1]}}}
71
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    37
\long\def\noop#1{}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    38
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    39
% equations
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    40
\newcommand{\eq}[1]{\begin{displaymath}#1\end{displaymath}}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    41
\newcommand{\eqar}[1]{\begin{eqnarray*}#1\end{eqnarray*}}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    42
\newcommand{\eqspl}[1]{\begin{displaymath}\begin{split}#1\end{split}\end{displaymath}}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    43
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    44
% tricky way to iterate macros over a list
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    45
\def\semicolon{;}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    46
\def\applytolist#1{
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    47
    \expandafter\def\csname multi#1\endcsname##1{
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    48
        \def\multiack{##1}\ifx\multiack\semicolon
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    49
            \def\next{\relax}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    50
        \else
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    51
            \csname #1\endcsname{##1}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    52
            \def\next{\csname multi#1\endcsname}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    53
        \fi
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    54
        \next}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    55
    \csname multi#1\endcsname}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    56
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    57
% \def\cA{{\cal A}} for A..Z
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    58
\def\calc#1{\expandafter\def\csname c#1\endcsname{{\mathcal #1}}}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    59
\applytolist{calc}QWERTYUIOPLKJHGFDSAZXCVBNM;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    60
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    61
% \DeclareMathOperator{\pr}{pr} etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    62
\def\declaremathop#1{\expandafter\DeclareMathOperator\csname #1\endcsname{#1}}
307
285b2a29dff0 diagram for introduction
Scott Morrison <scott@tqft.net>
parents: 298
diff changeset
    63
\applytolist{declaremathop}{pr}{im}{gl}{ev}{coinv}{tr}{rot}{Eq}{obj}{mor}{ob}{Rep}{Tet}{cat}{Maps}{Diff}{Homeo}{sign}{supp}{Nbd}{res}{rad}{cell};
285b2a29dff0 diagram for introduction
Scott Morrison <scott@tqft.net>
parents: 298
diff changeset
    64
285b2a29dff0 diagram for introduction
Scott Morrison <scott@tqft.net>
parents: 298
diff changeset
    65
\DeclareMathOperator*{\colim}{colim}
285b2a29dff0 diagram for introduction
Scott Morrison <scott@tqft.net>
parents: 298
diff changeset
    66
\DeclareMathOperator*{\hocolim}{hocolim}
71
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    67
308
be2d126ce79b send scott back to primary school, where he can learn to count mod 2 and reindex summations
Scott Morrison <scott@tqft.net>
parents: 307
diff changeset
    68
\DeclareMathOperator{\most}{most}
be2d126ce79b send scott back to primary school, where he can learn to count mod 2 and reindex summations
Scott Morrison <scott@tqft.net>
parents: 307
diff changeset
    69
\DeclareMathOperator{\rest}{rest}
be2d126ce79b send scott back to primary school, where he can learn to count mod 2 and reindex summations
Scott Morrison <scott@tqft.net>
parents: 307
diff changeset
    70
be2d126ce79b send scott back to primary school, where he can learn to count mod 2 and reindex summations
Scott Morrison <scott@tqft.net>
parents: 307
diff changeset
    71
216
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 212
diff changeset
    72
\DeclareMathOperator{\kone}{cone}
71
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    73
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    74
%%%%%% end excerpt
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    75
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    76