Peter Freyd, Abelian Categories, Harper and Row, 1964

http://www.tac.mta.ca/tac/reprints/articles/3/tr3abs.html
http://www.tac.mta.ca/tac/reprints/
アーベル圏の定義が見かけ上弱い（0対象，有限直和・有限直積，核・余核，与えられたmonoを核とする射・与えられたepiを余核とする射の存在）ので，準同型定理も，射の集合がアーベル群になることも証明しなければならない．