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