text/kw_macros.tex
author Kevin Walker <kevin@canyon23.net>
Thu, 11 Aug 2011 12:59:06 -0600
changeset 878 937214896458
parent 874 4fd165bc745b
child 917 9d0b9ffcd86b
permissions -rw-r--r--
add referees request for comment on hh_*(loops)
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}
789
787914e9e859 axioms for enriched n-cats; but these might need to be modified since the product axiom seems to require that these are sets with structure after all
Kevin Walker <kevin@canyon23.net>
parents: 719
diff changeset
    33
\def\bbc{{\mathcal{BBC}}}
800
d0b9238aad5d new n-cat axiom for splittings
Kevin Walker <kevin@canyon23.net>
parents: 797
diff changeset
    34
\def\vcone{\text{V-Cone}}
71
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    35
192
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 119
diff changeset
    36
\def\spl{_\pitchfork}
719
76ad188dbe68 adding pitchforks to denote splittability
Kevin Walker <kevin@canyon23.net>
parents: 568
diff changeset
    37
\def\trans#1{_{\pitchfork #1}}
192
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 119
diff changeset
    38
94
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 86
diff changeset
    39
%\def\nn#1{{{\it \small [#1]}}}
402
853376c08d76 a bunch of minor changes
Scott Morrison <scott@tqft.net>
parents: 308
diff changeset
    40
\def\nn#1{{{\color[rgb]{.2,.5,.6} \small [[#1]]}}}
71
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    41
\long\def\noop#1{}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    42
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    43
% equations
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    44
\newcommand{\eq}[1]{\begin{displaymath}#1\end{displaymath}}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    45
\newcommand{\eqar}[1]{\begin{eqnarray*}#1\end{eqnarray*}}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    46
\newcommand{\eqspl}[1]{\begin{displaymath}\begin{split}#1\end{split}\end{displaymath}}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    47
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    48
% tricky way to iterate macros over a list
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    49
\def\semicolon{;}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    50
\def\applytolist#1{
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    51
    \expandafter\def\csname multi#1\endcsname##1{
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    52
        \def\multiack{##1}\ifx\multiack\semicolon
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    53
            \def\next{\relax}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    54
        \else
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    55
            \csname #1\endcsname{##1}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    56
            \def\next{\csname multi#1\endcsname}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    57
        \fi
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    58
        \next}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    59
    \csname multi#1\endcsname}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    60
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    61
% \def\cA{{\cal A}} for A..Z
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    62
\def\calc#1{\expandafter\def\csname c#1\endcsname{{\mathcal #1}}}
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    63
\applytolist{calc}QWERTYUIOPLKJHGFDSAZXCVBNM;
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    64
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    65
% \DeclareMathOperator{\pr}{pr} etc.
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    66
\def\declaremathop#1{\expandafter\DeclareMathOperator\csname #1\endcsname{#1}}
878
937214896458 add referees request for comment on hh_*(loops)
Kevin Walker <kevin@canyon23.net>
parents: 874
diff changeset
    67
\applytolist{declaremathop}{im}{gl}{ev}{coinv}{tr}{rot}{Eq}{obj}{mor}{ob}{Rep}{Tet}{cat}{Maps}{Diff}{Homeo}{sign}{supp}{Nbd}{res}{rad}{Compat}{Coll}{Cone}{pr}{paths};
307
285b2a29dff0 diagram for introduction
Scott Morrison <scott@tqft.net>
parents: 298
diff changeset
    68
285b2a29dff0 diagram for introduction
Scott Morrison <scott@tqft.net>
parents: 298
diff changeset
    69
\DeclareMathOperator*{\colim}{colim}
285b2a29dff0 diagram for introduction
Scott Morrison <scott@tqft.net>
parents: 298
diff changeset
    70
\DeclareMathOperator*{\hocolim}{hocolim}
71
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    71
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
    72
\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
    73
\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
    74
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
    75
216
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents: 212
diff changeset
    76
\DeclareMathOperator{\kone}{cone}
71
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    77
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    78
%%%%%% end excerpt
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    79
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff changeset
    80