免费论文摘要：L-笼统基与左LQ-模

        Domain表面和Quantale表面具备表面计划机科学和简单数学的双重接洽后台,它们各自愿展, 但两者均鉴于数学中三大基础构造之一的序构造表面, 同声与代数, 论理, 范围等学科有着精细接洽. 纵然Domain表面与Quantale表面有着各别的接洽东西和特性, 但它们在少许上面是彼此浸透和彼此感化的,比方Pawel Waszkiewicz在Girard quantales上实行了Domain表面. 自2000年发端, 用朦胧集表面接洽量化Domain表面并获得了很多幽美的论断和本质. 正文一上面接洽了朦胧Domain中的L-笼统基表面, 另一上面将朦胧集的表面运用到Quantale模构造中, 给出左LQ-模的设置, 并对其本质举行了接洽. 正文重要实质安置如次:        第一章 计划常识. 给出了关系的朦胧Domain表面, 以及范围论上面的观念和论断.        第二章 L-笼统基与朦胧Round理念完美化. 开始引入了L-笼统基和朦胧Round理念的设置, 并给出朦胧Round理念的等价刻划, 证领会一个朦胧Domain的朦胧Round理念同构于该朦胧Domain. 其次, 接洽了L-笼统基的朦胧Round理念完美化, 且证领会朦胧偏序集的朦胧Round理念完美化是朦胧Domain. 结果证领会朦胧Domain的贯串中断是朦胧Domain.        第三章 左LQ-模基础本质. 开始, 引入了左LQ-模及左LQ-模同态的设置, 给出了关系例子. 其次, 计划了左LQ-模核映照的本质,证领会左LQ-模核映照与某一左LQ-模是逐一对应的. 结果, 进一步接洽了朦胧Girard双模和对合左LQ-模, 且证领会任何模Quantale(朦胧对合Quantale)都是某一个朦胧Girard双模M上的#(M)的朦胧子(对合)Quantale.        第四章 左LQ-典型畴. 给出了子左LQ-模设置, 创造了子左LQ-模与左LQ-模余核映照之间的对应联系, 证领会左LQ-典型畴有乘积且是完美的.

来源：半壳优胜育转载请保留出处和链接！

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