Wiki. “加性范畴” [加性范畴]

定义

加性范畴是有有限余积的 $\mathsf {Ab}$-充实范畴.

空间 $X$ 上的层范畴 $\operatorname{Sh}(X)$;

环 $R$ 上的模范畴 $R\mathsf {-Mod}$.