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

设 $k$ 为域. $k$-线性范畴是一个加性范畴, 其态射集具有 $k$-线性空间的结构, 态射的复合是 $k$-线性的. 谈论 $k$-线性范畴之间的函子时, 也假定其在态射集上的映射是 $k$-线性的.