三角范畴中的伴随对

来源 :上海交通大学 | 被引量 : 0次 | 上传用户:yu23344
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文系统梳理了分散在文献中的有关伴随对的结论.从伴随对的概念着手,讨论一些基本性质,先在加法范畴中得出伴随对的等价刻画,再讨论左右伴随函子的存在性与可表函子的关系.进一步,在Abel范畴中,证明了左伴随函子是右正合函子,右伴随函子是左正合函子.进而证明加法函子有左(右)伴随函子时,则其保持直和(直积).在此基础上得出等价函子既保持直积又保持直和.再引入紧对象的概念,讨论函子保持直和与保持紧对象的关系,进而得出等价函子保持紧对象.之后在三角范畴中讨论.先论述三角范畴的一些基本性质,通过引入完美生成、对称生成、布朗表示定理及其对偶等概念,得出紧生成、完美生成、对称生成之间的关系,再根据三角范畴中的一个重要结论:伴随对中一个是三角函子当且仅当另一个也是三角函子,得出本文的核心结论:函子保持直和当且仅当其有右(三角)伴随函子;函子保持直积当且仅当其有左(三角)伴随函子.
其他文献
本陪同口译实践报告是基于笔者于2018年春季陪同英国剑桥大学轻量级赛艇队队员游览扬州东关历史文化旅游街区的口译实践,在达妮卡·塞莱丝柯维奇教授的释意理论的指导下,将该
词汇丰富性是指作者在写作时词汇选择和词汇运用的多样性。Read(2000)认为词汇丰富性是高质量文章的一个显著特点。Engber(1995)的研究也说明了词汇的丰富性和写作质量与准确
信息中心网络(Information-Centric Networking,ICN)是一种以信息为中心的未来因特网架构。这类架构的重要特征之一是利用网络内置缓存提高信息获取的传输效率以及网络资源的利用率。但在当前信息中心网络的研究中,各路由器采用独立缓存,致使路由器因缓存冗余而无法缓存更多类型的内容,这不仅会增加网络中内容副本的冗余度,还将引发路由器上缓存命中率低的问题。为了解决上述问题并促进IC
林语堂(1895-1976),我国知名学者、语言学家、教育家、翻译家、作家,在中西文化传播和英语语言学习等领域皆有深入研究。本研究从林语堂英语教育家的角度出发,详细分析了他的英语教育思想,将其归纳为一个相对系统的理论体系,具体表现为英语课程观、英语教学观、英语教材观,并审视目前我国基础英语课程改革,以期为构建“中国特色”的英语教育体系和实现英语学科核心素养目标提供一些新的理论视角和方法启示。论文首
本文以现代汉语“V个NP”结构为主要研究对象,针对“个”的语法意义与功能演变,探讨该结构的分类、构成成分、语义演变过程与成因,并从主观性与主观量的角度探究其语义类型,分析其在语境中所表现的主观量意义。全文共分五个章节展开论述。第一章绪论主要介绍了本文的选题目的和意义,对“V个NP”现有的研究成果进行归纳总结,指出了现有研究中尚存争议的问题,并对本文研究主要采用的理论、方法与语料来源作了说明。第二章
当前,随着APP软件的广泛应用,其质量越来越受到关注。APP软件是安装在移动智能终端上的软件,由于移动智能设备的普及,APP软件数量爆发式增长,导致了APP软件质量参差不齐。在用户使用过APP软件后,部分用户会针对软件使用情况评价和评分,它们产生于不同设备,不同操作系统,是APP软件使用情况的用户反馈。很多APP软件的质量问题,例如:响应慢、黑屏、死机、闪退等都在用户反馈中被大量提及。所以挖掘AP
由于传统能源的不可再生性,寻找新的替代能源尤为紧迫。氢能源能够缓解能源供应危机,许多国家和地区对氢能源的利用展开了研究。在氢能源汽车的推广之前,需要建成一定规模的加氢站网络。由于加氢站的建设成本较为高昂,建成后应当确保足够的车流量以便回收成本,因此建设合理的加氢站网络对氢能源的开发和利用尤为重要。现有研究能够解决加氢站在特定地区的选址问题,但仍存在一些不足,例如选址目标较为单一,未能针对选址地区的
结合对唐代文献史料的梳理,在唐传奇作品中筛选出与女性形象塑造的相关文本,扩大观察面,以包括“三大传奇”在内的传奇作品作为全部的考察对象。本选题以唐代女性地位为历史背景,研究唐传奇作品中男性视角下的女性形象,还原男性作者们的创作心理,加深对唐代女性地位的认识与理解。第一章:唐代女性地位及唐传奇创作心理概述。本章重在讨论唐传奇创作的时代背景,包括时代中被书写的女性,以及男性作家群体。主要内容包括:第一
同时定位与地图构建(Simultaneous Localization and Mapping,SLAM)与视觉里程计(Visual Odometry,VO)是在线构建周围环境的地图与确定传感器当前位置的技术,被广泛地运用于无人车、AR(Augmented Reality)、VR(Virtual Reality)、全自主机器人中,随着人工智能的普及,VO/vSLAM在人们的生活中起着越来越重要的作
切换正系统是一类特殊的混杂动态系统,它在生物学、医学、网络通信等方面都有着广泛的应用。由于这类系统同时存在正性和切换特性,并且相互作用,因此研究切换正系统的难度较大,目前的研究结果相对较少,有大量的问题有待解决。本文在现有的切换正系统研究的基础上对切换正系统的稳定性分析、控制器设计等问题进行研究,主要工作如下:研究了模式依赖平均驻留时间下连续和离散线性切换正系统的全局一致指数稳定性,并设计状态反馈