A类函子之间类别如果保持了序列的精确性,则称之为精确,或者等效地,如果它转换短精确序列进入之内短精确序列.
A类协变函子称为left exact,如果它保持了所有序列的准确性
如果它保持了所有序列的精确性,则称为右精确
(“左”和“右”在相应定义中互换对于反变函子.)
A类函子是准确的若(iff)它是左右都准确。
每张量积函子准确无误。对于每个模块 超过单元环 ,的协变函子 和逆变的函子 保持精确;第一个是准确的若(iff) 是投射的,第二个若(iff) 是内射的。
另请参见
扁平模块,霍姆,内射模块,投影(Projective)模块,短精确序列
此条目由贡献玛格丽塔巴里尔
与Wolfram一起探索| Alpha
工具书类
Herrlich,H.和Strecker,G.E。范畴理论:导论。马萨诸塞州波士顿:Allyn和Bacon,第202页,1973年。引用的关于Wolfram | Alpha
精确函数
引用如下:
玛格丽塔·巴里尔.“精确仿函数”。来自数学世界--Wolfram Web资源,创建人埃里克韦斯特因.https://mathworld.wolfram.com/ExactFunctor.html
主题分类