圏論が重要っていわれてる割には、導来圏が圏論の本である圏論の基礎に載ってなかったな。
圏論の基礎の内容ってホモロジー代数だな。
重要なのはホモロジー代数の方だな。