圏論というよりコホモロジーが現代数学の中核的な概念なんだけどな。
（コ）ホモロジー代数で両者は密接につながっているが。