Wiki. 算畴上的代数 [算畴上的代数]

设 $\mathcal O$ 为 (对称) 算畴, $\mathcal C$ 为对称幺半范畴, 那么 $\mathcal C$ 本身也可视为对称算畴; 定义 $\mathcal O$ 在 $\mathcal C$ 中的代数为多重范畴之间的函子 $$ \mathcal O \to \mathcal C. $$