【摘 要】
：
本文主要讨论算术半格的闭包空间表示.首先通过在给定的闭包空间中增加适当的条件,提出了算术闭包空间的概念,并且给出了算术半格的闭包空间表示.接着提出了算术闭包空间之间
【机 构】
：
湖南大学数学学院,湖南长沙410082
论文部分内容阅读
本文主要讨论算术半格的闭包空间表示.首先通过在给定的闭包空间中增加适当的条件,提出了算术闭包空间的概念,并且给出了算术半格的闭包空间表示.接着提出了算术闭包空间之间的算术逼近映射的概念,并证明了以算术逼近映射作为态射的算术闭包空间范畴和以Scott连续函数作为态射的算术半格范畴之间的范畴等价性.
其他文献
目的 探讨细胞因子IL-23与IL-12对NK细胞功能的影响及可能的机制.方法 密度梯度离心法分离人外周血单个核细胞(PBMCs)或磁珠纯化NK细胞,不刺激或用IL-23或IL-12刺激,用流式细
东临黄海,南望泰山.在“十四五”规划的伊始之年,山东大学迎来了120周年华诞.山东大学起源于1901年创办的山东大学堂,是中国第一所按章程办学的大学.学校先后历经了山东大学
过渡金属硫化物因其优异的电学、光学性能和良好的机械柔韧性引起了人们的广泛关注[1].但是,单一的材料由于能带和导电性等物理性质的局限性,不能满足更多的器件需求[2,3].因
新型高分子生物材料——双网络水凝胶不仅保持了传统水凝胶优良的物理性质,而且具有超高的刚度、强度和韧性等优异的力学性能,具有广阔的应用前景.它们在大变形下表现出应力
本研究采用转录组测序获得了三角褐指藻DGAT1基因cDNA全长序列(GeneBank登录号:7200924),并对其进行生物信息学分析和表达调控研究.结果表明,三角褐指藻DGAT1基因cDNA序列全长为1 438 bp,开放阅读框(ORF)为1 098 bp,编码365氨基酸序列,含有脂肪酸蛋白特性(Ⅰ)和DAG结合位点(Ⅱ)等功能结构域.预测三角褐指藻DGAT1蛋白为亲水性蛋白,含有6个跨膜结构域和7个超强跨膜螺旋区,无信号肽.进化树分析表明,三角褐指藻与海链藻DGAT1蛋白同源性最高. RT-qPCR
NB-IOT是互联网技术的一大分支,已经实现了大规模商用.在智能水表领域也不乏NB-IOT技术的身影,该技术的融入优化了智能水表的性能.为此,本文着眼于应用在地下管井场景智能水
近几年,STEAM教学理念下的课程热火朝天地开展着,很多初中以社团活动中3D打印、空模等形式展开,但是这种课程需要专任的技术教师,学校在建设等方面的投入也会很大.初中科学核
本文对水计量表具中传感器的具体应用进行了分析,包括传感器组成以及工作原理的阐述,然后分析了各类智能水表中传感器的防护手段,希望为传感器以及智能水表的发展贡献一分力
2001年,科学家首次在实验中产生了阿秒(10-18s)量级的超短光脉冲[1],从此打开了阿秒科学的大门.迄今为止,阿秒光源是人类所能掌握的唯一同时具有纳米空间分辨率和阿秒时间分
A quantum integrability index was proposed in Komatsu et al (2019 SciPost Phys.7 065).It systematizes the Goldschmidt and Witten's operator counting argument (G