3. 算畴

本章来讲述算畴理论, 不过本文中, 我们考虑的算畴将是建立在 $\mathsf{Span}(\mathsf{Fin})$ 上的, 利用代数模式可以说明其与 ${\mathsf{Fin}}_{\ast }$ (即 Lurie 的版本) 的等价性.

在定义了何为算畴之后, 我们将以对称幺半范畴为模板, 研究松对称幺半函子, 对称幺半子范畴以及对称幺半 Bousfield 局部化. 而后将 $\mathsf{Comm}$ 替换为一般的算畴 $\mathcal{O}$ 得到 $\mathcal{O}$-幺半范畴.