同調代数のコアトピック(導関数、分解理論)