态射论文

算术半格的表示
论文摘要Domain理论主要研究具有特殊性质的偏序集,其目的是为程序语言指称语义提供数学模型.由于具有明显的计算机科学背景以及其研究涉及到拓扑结构和序结构,该理论受到理论计算机...
效应代数的EA-滤子与态格效应代数及其相关性质的研究
论文摘要效应代数是一个带有部分二元运算的代数系统,包含了量子逻辑中常见的正交模格和偏序集.效应代数作为较为广泛的量子结构,它的代数性质在量子逻辑的理论研究中具有重要作用.本文主...
Admissible态射和tubular型加权射影线的凝聚层范畴
论文摘要加权射影线由射影直线P1（k）中t个两两不同的数构成的有序数列λ=（λ1,λ2,…,λt）和权序列p=（p1,p2,…,pt）构成,记为X（p,λ）.权序列确定一个秩为...