text/kw_macros.tex
author Kevin Walker <kevin@canyon23.net>
Wed, 09 Feb 2011 18:21:58 -0800
changeset 713 eafdb7806df3
parent 568 dfc5aa4a64dd
child 719 76ad188dbe68
permissions -rw-r--r--
added remark to easy gluing prop (compatible with gluing on fields). this is in response to comment from PT that the zero map satisfies the claims of the proposition.
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}
519
1e56e60dcf15 first draft of new sm blobs; needs to be proof-read and revised
Kevin Walker <kevin@canyon23.net>
parents: 499
diff changeset
    32
\def\BD{BD}
71
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    33
192
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 119
diff changeset
    34
\def\spl{_\pitchfork}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 119
diff changeset
    35
94
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 86
diff changeset
    36
%\def\nn#1{{{\it \small [#1]}}}
402
853376c08d76 a bunch of minor changes
Scott Morrison <scott@tqft.net>
parents: 308
diff changeset
    37
\def\nn#1{{{\color[rgb]{.2,.5,.6} \small [[#1]]}}}
71
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    38
\long\def\noop#1{}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    39
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    40
% equations
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    41
\newcommand{\eq}[1]{\begin{displaymath}#1\end{displaymath}}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    42
\newcommand{\eqar}[1]{\begin{eqnarray*}#1\end{eqnarray*}}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    43
\newcommand{\eqspl}[1]{\begin{displaymath}\begin{split}#1\end{split}\end{displaymath}}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    44
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    45
% tricky way to iterate macros over a list
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    46
\def\semicolon{;}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    47
\def\applytolist#1{
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    48
    \expandafter\def\csname multi#1\endcsname##1{
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    49
        \def\multiack{##1}\ifx\multiack\semicolon
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    50
            \def\next{\relax}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    51
        \else
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    52
            \csname #1\endcsname{##1}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    53
            \def\next{\csname multi#1\endcsname}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    54
        \fi
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    55
        \next}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    56
    \csname multi#1\endcsname}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    57
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    58
% \def\cA{{\cal A}} for A..Z
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    59
\def\calc#1{\expandafter\def\csname c#1\endcsname{{\mathcal #1}}}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    60
\applytolist{calc}QWERTYUIOPLKJHGFDSAZXCVBNM;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    61
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    62
% \DeclareMathOperator{\pr}{pr} etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    63
\def\declaremathop#1{\expandafter\DeclareMathOperator\csname #1\endcsname{#1}}
568
dfc5aa4a64dd removing the (unused) \pr command, because PNAS didn't like it
Scott Morrison <scott@tqft.net>
parents: 519
diff changeset
    64
\applytolist{declaremathop}{im}{gl}{ev}{coinv}{tr}{rot}{Eq}{obj}{mor}{ob}{Rep}{Tet}{cat}{Maps}{Diff}{Homeo}{sign}{supp}{Nbd}{res}{rad}{Compat};
307
285b2a29dff0 diagram for introduction
Scott Morrison <scott@tqft.net>
parents: 298
diff changeset
    65
285b2a29dff0 diagram for introduction
Scott Morrison <scott@tqft.net>
parents: 298
diff changeset
    66
\DeclareMathOperator*{\colim}{colim}
285b2a29dff0 diagram for introduction
Scott Morrison <scott@tqft.net>
parents: 298
diff changeset
    67
\DeclareMathOperator*{\hocolim}{hocolim}
71
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    68
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
    69
\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
    70
\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
    71
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
    72
216
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 212
diff changeset
    73
\DeclareMathOperator{\kone}{cone}
71
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    74
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    75
%%%%%% end excerpt
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    76
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    77