【摘 要】
:
设C是一个范畴,T是C中的单子(monad).本文将范畴C中代数和余代数的一些命题和结论推广到单子和余单子(comonad)上,得到一些有意义的结论.全文共分为五章. 第一章主要介绍单子与
论文部分内容阅读
设C是一个范畴,T是C中的单子(monad).本文将范畴C中代数和余代数的一些命题和结论推广到单子和余单子(comonad)上,得到一些有意义的结论.全文共分为五章.
第一章主要介绍单子与余单子的背景及写作思路.
第二章是预备知识,介绍了范畴C中的代数,余代数,单子,余单子,函子,自然变换,伴随函子,余张量积等定义,给出了文[1]中关于伴随函子的一个等价命题.
第三章给出了余半单余单子和余可分余单子的定义,并对它们进行刻画.
第四章定义了单子和余单子的缠绕结构和缠绕模的概念,给出了两个例子,将代数和余代数的缠绕结构和缠绕模进行了推广,还构造了两个单子和余单子的缠绕模范畴之间的函子,证明了这两个函子是伴随函子.
第五章首先定义了两个双余模范畴,在它们之间构造了两个函子,证明了这两个函子分别有伴随函子.其次定义了实单子上的余单子,得到了与此余单子余可分等价的命题.最后定义了T-余单子上的余导子和余积分,给出了它们构成的阿贝尔群之间的同构关系.
其他文献
在计算机辅助几何设计中,曲线的造型术占据着重要的地位。多年来人们一直致力于寻找构造曲线的方法,尤其曲线的插值法更为多样。但它们都是通过取一般参数来寻求插值曲线的方法
本文主要讨论了Koszul代数的有限维数猜想和Koszul-型代数上具有pure分解分次模的Koszul-型性质.具体地,证明了对于有限维自对偶Koszul代数来说,有限维数猜想成立;给出了Koszu
本文考虑的是有限无向简单图,即不含重边和环的有限无向图,图G的顶点集记为V(G),边集记为E(G).如果没有特别说明,本文中的术语和符号参阅文献[1] .主要研究了各种条件下线图中2-
摘 要 本文阐析了人力资源管理中激励的内涵及其在企业人力资源管理中的作用,并对现代企业人力资源管理中的激励应用进行了一些思考和探索。 关键词 企业 人力资源管理 激励机制 中图分类号:F272.9文献标识码:A 一、人力资源管理中激励的内涵 随着现代社会的发展,企业间竞争的焦点越来越表现在知识技术的较量上。而知识的载体是人,因此,如何合理地使用人力,如何有效地激励员工使其最大限度的
本文主要研究半空间上MHD方程组弱解的L范数的衰减率,所用方法主要是Stokes算子的谱表示及能量估计。
请下载后查看,本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
古代诗歌是文学宝库中的艺术瑰宝,那些脍炙人口的佳句名诗意境深远,蕴涵着诗人心灵深处的情感。如何使小学生很好地学习古诗中的词语,体会古诗的意境,领悟作者的感情呢?我在
摘 要 中小企业信息化建设是其提高运营效率,增强竞争力的重要手段。然而,在我国的现实经济中,中小企业信息化水平偏低,实施中的高失败率等现象普遍存在。本文针对中小企业信息化建设中的观念误区的诸种表现及产生根源进行分析,并有针对性地提出矫正的策略。 关键词 中小企业 信息化 观念误区 矫正策略 中图分类号:F276.3文献标识码:A 一、前言 随着全球信息化的迅猛发展和知识经济时代的到
请下载后查看,本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.