導出函子 在同調代數中阿貝爾範疇間的某類函子可以求導以獲得相應的導出函子此概念可以融貫數學中許多領域裡的具體構造