2025年9月11日杂记

设 $F:\mathcal{A}\to\mathcal{B}$ 是加法范畴之间的函子. 则下述等价:

1. $F$ 保持态射集的群结构 (是群同态).

2. $F$ 保持有限直和 (对象和态射).