(コ)ホモロジー代数の延長線上のK理論、一般コホモロジーも所詮道具に過ぎないのだろうか?。

導来圏はがたして具体的な研究対象として真っ当なのだろうか?。