导出函子
在同调代数中,阿贝尔范畴间的某类函子可以「求导」,以获得相应的导出函子。此概念可以融贯数学中许多领域里的具体构造。
考虑导出函子的原始目的是从一个短正合串行造出一个长正合串行。具体言之:给定两个阿贝尔范畴
,及其间的加法函子
。假设
为左正合函子,换言之,对
中的任一短正合串行
下列串行是正合的:
由此自然导出一个问题:如何自然地延长此正合串行?
的(右)导出函子是一族函子
,满足
,且有相应的长正合串行:
导出函子可以视为
的右正合性的尺度。
英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。