CatDat/databases/catdat/data/macros.yaml at fdb22e0faac7ce8086d9e59c0fae30988dfd8244 · ScriptRaccoon/CatDat · GitHub

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
# cspell:disable

# blackboard bold letters
\IN: \mathbb{N}
\IZ: \mathbb{Z}
\IQ: \mathbb{Q}
\IR: \mathbb{R}
\IC: \mathbb{C}
\IF: \mathbb{F}
\IB: \mathbb{B}
\IA: \mathbb{A}
\IP: \mathbb{P}

# calligraphic letters
\A: \mathcal{A}
\B: \mathcal{B}
\C: \mathcal{C}
\D: \mathcal{D}
\E: \mathcal{E}
\F: \mathcal{F}
\I: \mathcal{I}
\J: \mathcal{J}
\O: \mathcal{O}
\S: \mathcal{S}
\T: \mathcal{T}

# fraktur letters
\p: \mathfrak{p}
\m: \mathfrak{m}

# abbreviations
\op: \mathrm{op}
\c: \mathrm{c}
\f: \mathrm{f}
\fg: \mathrm{fg}
\fp: \mathrm{fp}
\ab: \mathrm{ab}
\reg: \mathrm{reg}

# operators
\Mor: \operatorname{Mor}
\Hom: \operatorname{Hom}
\HomInternal: \underline{\operatorname{Hom}}
\End: \operatorname{End}
\Ob: \operatorname{Ob}
\id: \operatorname{id}
\card: \operatorname{card}
\colim: \operatorname{colim}
\im: \operatorname{im}
\lcm: \operatorname{lcm}
\Spec: \operatorname{Spec}
\Sh: \operatorname{Sh}
\ord: \operatorname{ord}
\diag: \operatorname{diag}
\Sub: \operatorname{Sub}
\Quot: \operatorname{Quot}
\supp: \operatorname{supp}
\Coexp: \operatorname{Coexp}
\inc: \operatorname{inc}
\eq: \operatorname{eq}
\cod: \operatorname{cod}
\rank: \operatorname{rank}
\Gal: \operatorname{Gal}
\Open: \operatorname{Open}

# categories
\Set: \mathbf{Set}
\Setne: \mathbf{Set}_{\neq \varnothing}
\Rel: \mathbf{Rel}
\Ab: \mathbf{Ab}
\Grp: \mathbf{Grp}
\Vect: \mathbf{Vect}
\Ring: \mathbf{Ring}
\Alg: \mathbf{Alg}
\CRing: \mathbf{CRing}
\CAlg: \mathbf{CAlg}
\Rng: \mathbf{Rng}
\Mon: \mathbf{Mon}
\CMon: \mathbf{CMon}
\Mod: \mathbf{Mod}
\Fld: \mathbf{Fld}
\FinAb: \mathbf{FinAb}
\FinGrp: \mathbf{FinGrp}
\FreeAb: \mathbf{FreeAb}
\TorsFreeAb: \mathbf{TorsFreeAb}
\TorsAb: \mathbf{TorsAb}
\Cat: \mathbf{Cat}
\Ban: \mathbf{Ban}
\Meas: \mathbf{Meas}
\Met: \mathbf{Met}
\PMet: \mathbf{PMet}
\Top: \mathbf{Top}
\Haus: \mathbf{Haus}
\CompHaus: \mathbf{CompHaus}
\sSet: \mathbf{sSet}
\Man: \mathbf{Man}
\LRS: \mathbf{LRS}
\Sch: \mathbf{Sch}
\Pos: \mathbf{Pos}
\Prost: \mathbf{Prost}
\FinOrd: \mathbf{FinOrd}
\FinSet: \mathbf{FinSet}
\FI: \mathbf{FI}
\FS: \mathbf{FS}
\Sp: \mathbf{Sp}
\0: \mathbf{0}
\1: \mathbf{1}
\2: \mathbf{2}
\On: \mathbf{On}
\Idem: \mathbf{Idem}
\Split: \mathbf{Split}
\RS: \mathbf{RS}
\CoAlg: \mathbf{CoAlg}
\Cone: \mathbf{Cone}
\SemiGrp: \mathbf{SemiGrp}
\Square: \mathbf{Square}
\Comp: \mathbf{Comp}
\Fork: \mathbf{Fork}
\Isom: \mathbf{Isom}
\Pair: \mathbf{Pair}
\Span: \mathbf{Span}
\BiSep: \mathbf{BiSep}
\SepPsh: \mathbf{SepPsh}