Wiki. 导出函子 [导出函子]

观念

导出函子是 Abel 范畴之间的左正合或右正合函子 $f\colon \mathcal A\to\mathcal B$ 根据导出范畴的泛性质诱导的导出范畴之间的函子 $\mathsf{D}(\mathcal A) \to \mathsf{D}(\mathcal B)$.

传统的导出函子是导出范畴之间的函子再复合同伦群函子 $\mathsf{D}(\mathcal B)\to\mathcal B$ 回到原来的范畴.

定义

例

整体截面, 导出前推, 导出张量积