1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
|
\documentclass[14pt,preview,border=1pt,class=extarticle]{standalone}
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{etoolbox}
\usepackage{xspace}
\usepackage{tikz}
\usetikzlibrary{arrows,decorations.markings,chains,calc,matrix}
\usepackage{tikz-cd}
\tikzset{>=cm to}
\usepackage{mathtools}
\undef\Re
\undef\Im
\DeclareMathOperator{\colim}{\textnormal{colim}}
\DeclareMathOperator{\Spec}{\textnormal{Spec}}
\DeclareMathOperator{\im}{\textnormal{im}}
\DeclareMathOperator{\Sing}{\textnormal{Sing}}
\DeclareMathOperator{\Map}{\textnormal{Map}}
\DeclareMathOperator{\InnHom}{\textnormal{\textbf{Hom}}}
\DeclareMathOperator{\Hom}{\textnormal{Hom}}
\undef\hom
\DeclareMathOperator{\hom}{\textnormal{hom}}
\DeclareMathOperator{\nerve}{\textnormal{N}}
\DeclareMathOperator{\simpnerve}{\textnormal{sN}}
\DeclareMathOperator{\core}{\textnormal{Core}}
\DeclareMathOperator{\id}{\textnormal{id}}
\undef\lim
\DeclareMathOperator{\lim}{\textnormal{lim}}
\DeclareMathOperator{\Op}{\textnormal{op}}
\DeclareMathOperator{\yon}{\textnormal{y}}
\DeclareMathOperator{\HomL}{\textnormal{\textbf{Hom}}^{\textnormal{L}}}
\DeclareMathOperator{\sk}{\textnormal{sk}}
\DeclareMathOperator{\cosk}{\textnormal{cosk}}
\DeclareMathOperator{\thom}{\textnormal{Th}}
\DeclareMathOperator{\Bl}{\textnormal{Bl}}
\DeclareMathOperator{\Stab}{\textnormal{Stab}}
\newcommand*{\alg}[1]{\ensuremath{\overline{#1}}\xspace}
\newcommand*{\sep}[1]{\ensuremath{#1^{\textnormal{sep}}}\xspace}
\newcommand*{\ab}[1]{\ensuremath{#1^{\textnormal{ab}}}\xspace}
\newcommand*{\units}[1]{\ensuremath{#1^\times}\xspace}
\newcommand*{\lapl}{\Delta}
\newcommand*{\grad}{\nabla}
\newcommand*{\op}[1]{\ensuremath{#1^{\textnormal{op}}}\xspace}
\newcommand*{\codiag}[1]{\ensuremath{\nabla\mkern-3mu_{#1}}\xspace}
\newcommand*{\diag}[1]{\ensuremath{\Delta_{#1}}\xspace}
\newcommand*{\cech}{\v{C}ech\xspace}
\newcommand*{\mc}{\operatorname{\textnormal{\v{C}}}}
\newcommand*{\normal}{\lhd}
\newcommand*{\isom}{\cong}
\newcommand*{\homot}{\sim}
\newcommand*{\cequiv}{\simeq}
\makeatletter
\let\@oldsubset=\subset
\def\@subsethelper#1#2{\mathrel{\raisebox{.5pt}{$#1\@oldsubset$}}\xspace}
\DeclareRobustCommand*{\subset}{\mathpalette\@subsethelper\relax}
\let\@oldotimes=\otimes
\def\@otimeshelper#1#2{\mathrel{\raisebox{.5pt}{$#1\@oldotimes$}}\xspace}
\DeclareRobustCommand*{\otimes}{\mathpalette\@otimeshelper\relax}
\makeatother
\tikzset{/tikz/commutative diagrams/arrows={thin}}
\makeatletter
\newbox\@xrat
\renewcommand*{\xrightarrow}[2][-cm to]{%
\setbox\@xrat=\hbox{\ensuremath{\scriptstyle #2}}
\pgfmathsetlengthmacro{\@xratlen}{max(1.6em,\wd\@xrat+.6em)}
\pgfmathsetlengthmacro{\@xratinnersep}{.5ex-\dp\@xrat}
\mathrel{\tikz [#1,baseline=-.6ex]
\draw (0,0) -- node[auto,inner sep=\@xratinnersep] {\box\@xrat} (\@xratlen,0) ;}}
\renewcommand*{\xleftarrow}[2][cm to-]{%
\setbox\@xrat=\hbox{\ensuremath{\scriptstyle #2}}
\pgfmathsetlengthmacro{\@xratlen}{max(1.6em,\wd\@xrat+.6em)}
\pgfmathsetlengthmacro{\@xratinnersep}{.5ex-\dp\@xrat}
\mathrel{\tikz [#1,baseline=-.6ex]
\draw (0,0) -- node[auto,inner sep=\@xratinnersep] {\box\@xrat} (\@xratlen,0) ;}}
\newcommand*{\xrightarrowb}[2][-cm to]{%
\setbox\@xrat=\hbox{\ensuremath{\scriptstyle #2}}
\pgfmathsetlengthmacro{\@xratlen}{max(1.6em,\wd\@xrat+.6em)}
\pgfmathsetlengthmacro{\@xratinnersep}{.5ex}
\mathrel{\tikz [#1,baseline=-.6ex]
\draw (0,0) -- node[auto,inner sep=\@xratinnersep] {\box\@xrat} (\@xratlen,0) ;}}
\newcommand*{\xleftarrowb}[2][cm to-]{%
\setbox\@xrat=\hbox{\ensuremath{\scriptstyle #2}}
\pgfmathsetlengthmacro{\@xratlen}{max(1.6em,\wd\@xrat+.6em)}
\pgfmathsetlengthmacro{\@xratinnersep}{.5ex}
\mathrel{\tikz [#1,baseline=-.6ex]
\draw (0,0) -- node[auto,inner sep=\@xratinnersep] {\box\@xrat} (\@xratlen,0) ;}}
\pgfarrowsdeclare{my right hook}{my right hook}
{
\arrowsize=0.2pt
\advance\arrowsize by .5\pgflinewidth
\pgfarrowsleftextend{-.5\pgflinewidth}
\pgfarrowsrightextend{3.5\arrowsize+.5\pgflinewidth}
}
{
\arrowsize=0.2pt
\advance\arrowsize by .5\pgflinewidth
\pgfsetdash{}{0pt} % do not dash
\pgfsetroundjoin % fix join
\pgfsetroundcap % fix cap
\pgfpathmoveto{\pgfpoint{0\arrowsize}{-7\arrowsize}}
\pgfpatharc{-90}{90}{3.5\arrowsize}
\pgfusepathqstroke
}
\tikzset{%
iso/.style={above,sloped,inner sep=0},
iso'/.style={below,sloped,inner sep=0},
to/.style={-cm to},
onto/.style={-cm double to},
into/.style={my right hook-cm to},
mapsto/.style={|-cm to},
clim/.style={decoration={markings,
mark=at position#1 with {\draw[-] (0,-3\pgflinewidth) -- (0,3\pgflinewidth);}},
postaction=decorate},
clim/.default=0.5,
opim/.style={decoration={markings,
mark=at position#1 with {\draw[-] circle(3\pgflinewidth);}},
postaction=decorate},
opim/.default=0.5
}
\newcommand*\@tikzto[2]{\mathrel{\begin{tikzpicture}[baseline]%
\draw[to,line width={#2\pgflinewidth},scale=#1](0,.55ex) -- (1.6em,.55ex);%
\end{tikzpicture}}}
\newcommand*\@tikzcto[2]{\mathrel{\begin{tikzpicture}[baseline]%
\draw[to,line width={#2\pgflinewidth},scale=#1](0,.55ex) -- (0.8em,.55ex);%
\end{tikzpicture}}}
\newcommand*\@tikzonto[2]{\mathrel{\begin{tikzpicture}[baseline]%
\draw[onto,line width={#2\pgflinewidth},scale=#1](0,.55ex) -- (1.6em,.55ex);%
\end{tikzpicture}}}
\newcommand*\@tikzinto[2]{\mathrel{\begin{tikzpicture}[baseline]%
\draw[into,line width={#2\pgflinewidth},scale=#1](0,.55ex) -- (1.6em,.55ex);%
\end{tikzpicture}}}
\newcommand*\@tikzclim[2]{\mathrel{\begin{tikzpicture}[baseline]%
\draw[into,clim,line width={#2\pgflinewidth},scale=#1](0,.55ex) -- (1.6em,.55ex);%
\end{tikzpicture}}}
\newcommand*\@tikzopim[2]{\mathrel{\begin{tikzpicture}[baseline]%
\draw[into,opim,line width={#2\pgflinewidth},scale=#1](0,.55ex) -- (1.6em,.55ex);%
\end{tikzpicture}}}
\newcommand*\@tikzmapsto[2]{\mathrel{\begin{tikzpicture}[baseline]%
\draw[mapsto,line width={#2\pgflinewidth},scale=#1](0,.55ex) -- (1.6em,.55ex);%
\end{tikzpicture}}}
\newcommand*\@tikziso[4]{\mathrel{\begin{tikzpicture}[baseline]%
\draw[to,line width={#2\pgflinewidth},scale=#1](0,.55ex) -- node[iso,pos=0.47,inner sep=#4]{$#3\sim$} (1.6em,.55ex);%
\end{tikzpicture}}}
\newcommand*\tikzto{\mathchoice{\@tikzto{1.0}{1}}{\@tikzto{1.0}{1}}{\@tikzcto{0.8}{0.9}}{\@tikzcto{0.6}{0.75}}}
\newcommand*\tikzcto{\mathchoice{\@tikzcto{1.0}{1}}{\@tikzcto{1.0}{1}}{\@tikzcto{0.8}{0.9}}{\@tikzcto{0.6}{0.75}}}
\newcommand*\tikzonto{\mathchoice{\@tikzonto{1.0}{1}}{\@tikzonto{1.0}{1}}{\@tikzonto{0.8}{0.9}}{\@tikzonto{0.6}{0.75}}}
\newcommand*\tikzinto{\mathchoice{\@tikzinto{1.0}{1}}{\@tikzinto{1.0}{1}}{\@tikzinto{0.8}{0.9}}{\@tikzinto{0.6}{0.75}}}
\newcommand*\tikzclim{\mathchoice{\@tikzclim{1.0}{1}}{\@tikzclim{1.0}{1}}{\@tikzclim{0.8}{0.9}}{\@tikzclim{0.6}{0.75}}}
\newcommand*\tikzopim{\mathchoice{\@tikzopim{1.0}{1}}{\@tikzopim{1.0}{1}}{\@tikzopim{0.8}{0.9}}{\@tikzopim{0.6}{0.75}}}
\newcommand*\tikzmapsto{\mathchoice{\@tikzmapsto{1.0}{1}}{\@tikzmapsto{1.0}{1}}{\@tikzmapsto{0.8}{0.9}}{\@tikzmapsto{0.6}{0.75}}}
\newcommand*\tikziso{\mathchoice{\@tikziso{1.0}{1}{\displaystyle}{0pt}}%
{\@tikziso{1.0}{1}{\textstyle}{0pt}}%
{\@tikziso{0.8}{0.9}{\scriptstyle}{0pt}}%
{\@tikziso{0.67}{0.8}{\scriptscriptstyle}{0.15ex}}}
\makeatother
\renewcommand*{\to}[1][]{\ifthenelse{\isempty{#1}}{\tikzto}{\xrightarrowb{#1}}}
\newcommand*{\cto}{\ensuremath{\tikzcto}}
\newcommand*{\into}[1][]{\ifthenelse{\isempty{#1}}{\tikzinto}{\xrightarrowb[into]{#1}}}
\newcommand*{\onto}[1][]{\ifthenelse{\isempty{#1}}{\tikzonto}{\xrightarrowb[onto]{#1}}}
\newcommand*{\clim}{\tikzclim}
\newcommand*{\opim}{\tikzopim}
\newcommand*{\iso}{\tikziso}
\renewcommand*{\mapsto}{\tikzmapsto}
\newcommand*{\ca}[1]{\ensuremath{\mathscr{#1}}\xspace}
\renewcommand*{\cal}[1]{\ensuremath{\mathcal{#1}}\xspace}
\newcommand*{\f}[1]{\ensuremath{\mathfrak{#1}}\xspace}
\newcommand{\cl}[2][0]{{}\mkern#1mu\overline{\mkern-#1mu#2}}
\newcommand*{\Int}[1]{\ensuremath{#1^\circ}\xspace}
\newcommand*{\infcat}[1][1]{\((\infty,#1)\)–category\xspace}
\newcommand*{\linfcat}{\(\infty\)–category\xspace}
\newcommand*{\infcats}[1][1]{\((\infty,#1)\)–categories\xspace}
\newcommand*{\linfcats}{\(\infty\)–categories\xspace}
\newcommand*{\Cat}{\textnormal{\textsf{Cat}}}
\newcommand*{\spc}{\textnormal{\textbf{Spc}}}
\newcommand*{\ICat}{\textnormal{\textbf{Cat}}}
\newcommand*{\infpshv}{\operatorname{\textnormal{\textbf{PShv}}}}
\newcommand*{\infshv}{\operatorname{\textnormal{\textbf{Sh}}}}
\newcommand*{\hypshv}{\operatorname{\widehat{\textnormal{\textbf{Sh}}}}}
\newcommand*{\hyp}[1][]{\operatorname{\ca H}^{#1}\mkern-2mu}
\newcommand*{\phyp}[1][]{\operatorname{\ca H}^{#1}_{\bullet}\mkern-2mu}
\newcommand*{\sh}{\operatorname{\ca{SH}}}
\newcommand*{\shv}{\operatorname{\textnormal{\textsf{Shv}}}}
\newcommand*{\pshv}{\operatorname{\textnormal{\textsf{PShv}}}}
\newcommand*{\Aff}{\operatorname{\textnormal{\textsf{Aff}}}}
\newcommand*{\Ring}{\operatorname{\textnormal{\textsf{Ring}}}}
\newcommand*{\Alg}{\operatorname{\textnormal{\textsf{Alg}}}}
\newcommand*{\Disc}{\operatorname{\textnormal{\textsf{Disc}}}}
\newcommand*{\mfd}{\operatorname{\textnormal{\textsf{Mfd}}}}
\newcommand*{\sm}[1][k]{\mathop{\textnormal{\textsf{Sm}}/k}}
\newcommand*{\Simp}{\mathbf{\Delta}}
\newcommand*{\sset}{\operatorname{\textnormal{\textsf{sSet}}}}
\newcommand*{\ssetQ}{\operatorname{\textnormal{\textsf{sSet}}_{\textnormal{\textsf{Q}}}}}
\newcommand*{\ssetJ}{\operatorname{\textnormal{\textsf{sSet}}_{\textnormal{\textsf{J}}}}}
\newcommand*{\Top}{\operatorname{\textnormal{\textsf{Top}}}}
\newcommand*{\qcat}{\operatorname{\textnormal{\textsf{qCat}}_{2}}}
\newcommand*{\Fin}{\operatorname{\textnormal{\textsf{Fin}}_{*}}}
\newcommand*{\tang}[1]{\textnormal{T}\mkern-2mu_{#1}}
\newcommand*{\dual}[1]{\textnormal{D}#1}
\def\<#1>{\left\langle #1 \right\rangle}
\newcommand{\dd}[1][]{%
\mathrm{d}%
\if\relax\detokenize{#1}\relax%
\else%
^{#1}\mkern-1.5mu%
\fi%
}
\newcommand{\Diff}[1][]{%
\mathrm{D}%
\if\relax\detokenize{#1}\relax%
\else%
^{#1}\m
kern-1.5mu%
\fi%
}
\newcommand{\ddd}[1][]{%
\mathop{}\!\dd[#1]%
}
\undef\AA
\undef\SS
\renewcommand*{\do}[1]{\expandafter\def\csname#1#1\endcsname{\ensuremath{\mathbb{#1}}\xspace}}
\docsvlist{A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z}
|
