4. 代数模式

注 4.0.1. 本章不在 Cnossen 的正课中出现 (属于我偷偷加的私货), 本章的目的为介绍代数模式的概念, 并且更加详细的比较 $\mathsf{Span}(\mathsf{Fin})$-算畴与 ${\mathsf{Fin}}_{\ast }$-算畴.

在上一节中, 我们给出了看待惰性态射以及活性态射的方式. 即:

•	惰性态射记录算畴的乘积;
•	活性态射记录算畴的结构.

事实上, 可以基于这一观点, 给出一种算畴结构的推广, 称为代数模式.

在处理同伦相容的代数结构时, 我们就可以用代数模式这种组合工具来描述它们. 而事实上这种描述方式反而更接近于该代数结构的本质, 学习这种语言刻画的 (非对称幺半的) 代数结构会比将一切强行刻画为某个算畴更加的简洁.

此外, 使用代数模式还可以比较建立在不同代数模式上的算畴理论是否一致.