数学百科

模范畴对偶性

2023-06-08

英文

duality in categories of modules

简介

模范畴等价的对偶概念.设C和D是两个范畴,H′:C→D和H″:D→C是两个逆变函子,若有自然等价H″H′1C和H′H″1D,则称H′与H″是对偶函子,而称C与D是对偶范畴.模论中考虑较多的问题是:在模范畴A-Mod和Mod-B中是否有全子范畴AC和DB,以及AC和DB之间的加性逆变函子H′,H″,使得H′与H″是对偶函子,AC和DB是对偶范畴.此性质就称为模范畴的对偶性.