单子和余单子的若干性质

摘要

设C是一个范畴，T是C中的单子(monad)．本文将范畴C中代数和余代数的一些命题和结论推广到单子和余单子(comonad)上，得到一些有意义的结论．全文共分为五章． 第一章主要介绍单子与余单子的背景及写作思路． 第二章是预备知识，介绍了范畴C中的代数，余代数，单子，余单子，函子，自然变换，伴随函子，余张量积等定义，给出了文[1]中关于伴随函子的一个等价命题． 第三章给出了余半单余单子和余可分余单子的定义，并对它们进行刻画． 第四章定义了单子和余单子的缠绕结构和缠绕模的概念，给出了两个例子，将代数和余代数的缠绕结构和缠绕模进行了推广，还构造了两个单子和余单子的缠绕模范畴之间的函子，证明了这两个函子是伴随函子． 第五章首先定义了两个双余模范畴，在它们之间构造了两个函子，证明了这两个函子分别有伴随函子．其次定义了实单子上的余单子，得到了与此余单子余可分等价的命题．最后定义了T-余单子上的余导子和余积分，给出了它们构成的阿贝尔群之间的同构关系．

目录

文摘

英文文摘

第一章绪论

第二章预备知识

第三章余半单余单子和余可分余单子

§3.1余半单余单子的定义及性质

§3.2余可分余单子的定义及性质

第四章单子和余单子的缠绕结构

§4.1单子和余单子的缠绕结构

§4.2缠绕模的伴随函子

第五章T-余单子与双余模

§5.1实单子上的余单子

§5.2函子的可分与余单子的余可分

§5.3余导子与余积分

参考文献

致谢