免费论文摘要：Quantle模与对合左Q-典型畴

    Quantale模的观念是由Abramsky和Vickers 在1993年提出,其后台在乎给演算语义塾,指称语义塾,正义语义塾等供给新的数学模子.Quantale模可被看作有限察看本质的代数,加之其具备充分的序构造,代数构造和拓扑构造,那些使得它变成诸普遍学家和论理学家关心的热门.在短短的二十年中,相关Quantale模表面的洪量新的看法及运用接踵给出.核映照与余核映照,理念与同余是接洽Quantale模表面的要害东西,正文一方面临Quantale模中核映照与余核映照、理念与同余的几何本质,及其联系作了精致而深刻地接洽,进而充分了Quantale模表面实质.另一上面,从范围论观点计划了对合左Q-典型畴的少许本质.正文重要实质安置如次:     第一章 计划常识.  本章给出了正文将要用到的Quantale表面、范围表面中的基础观念和论断.      第二章  Quantale模核映照与余核映照.  本章开始接洽了左Q-模余核映照的关系本质，给出了左Q-模上一个映照是余核映照的等式刻划.其次计划了Dual双模,Girard双模与对合左Q-模的联系,并辨别给出了它们的少许本质及其等价刻划.结果证领会大肆双Q-模都可嵌入到Girard双模,而且当Quantale是对合Quantale时,大肆左Q-模都可嵌入到对合左Q-模中,证领会Girard双模与对合左Q-模上的核映照与余核映照都是逐一对应联系.      第三章  Quantale模中的理念与同余.  本章给出了Quantale模M中的heterogeneous理念与heterogeneous同余的设置,证领会此理念形成的汇合Idl(M)与同余形成的汇合Con(M)都是完美格.当完美格中理念与同余固准时,结构了最小与最大的Quantale模理念和同余.引入了同余的核和由理念天生的同余的观念,证领会Idl(M)与Cong(M)形成Galois随同.     第四章  对合左Q-典型畴.  本章开始计划了此范围的乘积和等子,并给出了它们的简直构造,证领会对合左Q-典型畴没有零东西.其次给出了对合左Q-典型畴的极限构造,同声获得此范围是完美范围且具备拉回等本质.结果给出了对合左Q-典型畴中逆体例的逆极限的设置,引入了两个逆体例之间映照的设置,并导出了对合左Q-典型畴中两个逆体例的逆极限之间的极限映照.

来源：半壳优胜鲸鱼幸运星转载请保留出处和链接！

本文链接：http://87cpy.com/240708.html