圏論よりコホモロジーの方が現代数学を象徴する言葉だと気付けば通。圏、カテゴリーでも高次圏とかの基礎論寄りに行かずに導来圏三角圏に興味を移すのが本当の理論系