在同调代数中，阿贝尔范畴间的某类函子可以“求导”，以获得相应的导出函子。此概念可以融贯数学中许多领域里的具体构造。导出函子包括左导出函子和右导出函子。