線型代数を一般化するとアーベル圏とその上のホモロジー代数に行き着く。