Meta. 单纯百科的符号约定 [单纯百科的符号约定]
Meta. 单纯百科的符号约定 [单纯百科的符号约定]
观念
香蕉空间写作指引对单纯百科的符号约定有重要的影响.
单纯百科目前的许多内容是作者不太成熟之时写成的, 故不一定遵循了如下约定, 但我正在尽量调整.
陈述
节标题
- “百科” (
wiki) 类页面的节标题为 “观念”, “定义”, “性质”, “相关概念”. 小节标题不作约定.
数学符号
- “范畴” 既可以指普通范畴 ($(1,1)$-范畴), 也可以指 $(\infty,1)$-范畴. 但在可能出现 $(\infty,1)$-范畴的语境中, 默认其指的是 $(\infty,1)$-范畴, 而谈论 $(1,1)$-范畴则需要特意强调.
- 在 $(\infty,1)$-范畴语境中, “极限” 默认指的是 $\infty$-极限, “群” 默认指的是 $\infty$-群 (又叫 $\mathbb A_\infty$-群, $\mathbb E_1$-群). 类似地, 我们不会写出所有的前缀 “$\infty$-”.
- 范畴的记号:
- 没有具体名称的范畴的记号使用花体
\mathcal, 如 $\mathcal{C}$, $\mathcal{D}$, $\mathcal E$,… - 有具体名称的范畴的记号使用无衬线体
\mathsf, 如 $\mathsf{Set}$, $\mathsf{Cat}$, $\mathsf{Ani}$, … - 有具体名称的函子使用正体
\mathrm{}, 如 $\lim$, $\operatorname{Hom}$, $\operatorname{Fun}$, …
- 没有具体名称的范畴的记号使用花体