HADR - 代数模式 [HADR-alg-patt]

详见代数模式, 这里仅列举要点:

一个代数模式是一个范畴 $\mathcal O$ 配备分解系统 $(\mathcal O_{\mathrm{act}},\mathcal O_{\mathrm{int}})$, 分别称为活性映射与惰性映射, 以及全子范畴 $\mathcal O_{\mathrm{el}}\hookrightarrow\mathcal O_{\mathrm{int}}$, 称为基本对象的范畴.

我们的观念是

• 底层结构是基本对象的范畴 $\mathcal O_{\mathrm{el}}$ 上的预层;
• 代数模式所表达的结构是底层结构上的代数结构, 即单子性函子 $\mathsf{Seg}_{\mathcal O} \to \widehat {\mathcal O_{\mathrm{el}}}$;
• 代数模式只是代数结构的表现, 正如景是意象的表现.

代数模式 $\mathcal O$ 在积幺半范畴 $\mathcal C$ 中的 Segal 对象是一个函子 $F\colon \mathcal O^{\mathrm{op}} \to \mathcal C$, 满足 $F|_{\mathcal O_{\mathrm{int}}}$ 是 $F|_{\mathcal O_{\mathrm{el}}}$ 的右 Kan 扩张.

重要的例子包括

• 结合代数的模式 $\Delta$,
• 交换代数的模式 $\Gamma$,
• $(\infty,n)$-范畴的模式 $\Theta_n$,
• 多重范畴的模式 $\Omega$.

Lurie 意义下的算畴是一种特殊的代数模式 $\mathcal O \to \Gamma$, 所谓弱 Segal 纤维化.

关于代数模式方向约定的解释. 在本页面与代数模式页面, 我们使用的方向约定 (即代数模式的底层范畴 $\mathcal O$ 及其子范畴的方向) 与 Chu–Haugseng 以及 Lurie 都相反. 我认为两种约定都有道理, 并且两者可以视为一对代数–几何对偶,

• 我们约定中的代数模式 $\mathcal O$ 可视为 “代数侧”, 其对象大致可理解为基本对象生成的自由代数对象, 态射可理解为变量代换, 例如 $\mathbb{Z}[t] \to \mathbb{Z}[x,y]$, $t\mapsto x+y$.
• 而 Chu–Haugseng 与 Lurie 约定中的范畴 $\mathcal O$ ($\mathcal O^{\otimes}$) 可视为对偶的 “几何侧”, 态射可视为运算, 例如 $\mathbb A^2 \to \mathbb A^1$, $(x,y)\mapsto x+y$.