左导出函子

在同调代数中，阿贝尔范畴间的某类函子可以“求导”，以获得相应的导出函子。此概念可以融贯数学中许多领域里的具体构造。导出函子包括左导出函子和右导出函子。考虑导出函子的原始目的是从一个短正合序列造出一个长正合序列。具体言之：给定两个阿贝尔范畴 ，及其间的加法函子 。假设 为左正合函子，换言之，对 中的任一短正合序列