>>749と同様に広義の前加法圏（過去スレpart2の589）、
広義のアーベル圏（代数的整数論019の533）などが定義される。