定義
C と D をアーベル群の圏とする。
左完全(過去スレ019の659)な関手からなる Add(C, D)(>>413) の充満な部分圏を
Lex(C, D) と書く。