アーベル圏がらみの概念

とある論文での用語法：

• プレ加法的 -- Ab豊饒 と同じ
• 加法的 -- 有限直和と任意の直積が存在する。始対象と終対象も含まれる。
• プレアーベル -- 加法的で、ゼロ対象があり、すべての射が核と余核を持つ。
• アーベル -- すべてのモノが核、すべてのエピが余核になる。

「プレ加法的」なんて言葉はいらんでしょう。加法的の任意の直積が存在するはかなり強いなー、ほんとに必要なのか？ そこまでは要らんと思うが。