摘要:
在Quantale中引入预(左、右)核映射与预(左、右)理想余核映射的概念,讨论了它们的若干性质,建立了预核映射与Quantale商的关系和预理想余核与理想的关系;探讨了预核映射与预理想余核映射到单位Quantale与Girard Quantale的扩张等问题;在预Girard Quantale中,预核映射之集与预理想余核映射之集的对偶是完备格同构.
关键词:
Quantale; 预核映射; 预理想余核映射; 完备格同构
文章编号:
16724291(2011)05000106
基金项目:
国家自然科学基金资助项目(10871121,11001158).