关于两个Cartesian闭范畴交的一点注记

来源 :南京师大学报:自然科学版 | 被引量 : 0次 | 上传用户:jiajiayou123123
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
讨论了关于双Scott拓扑的一些性质.证明了范畴BICONT(即以双连续格为对象,以双Scott连续映射为态射的范畴)作为两个Cartesian闭范畴BICONTS(即以双连续格为对象,以Scott连续映射为态射的范畴)和BICONTSop(即以双连续格为对象,以对偶Scott连续映射为态射的范畴)的交范畴不是Cartesian闭范畴.
其他文献
背景近年来,设施农业在我国得到快速发展,设施规模化生产为高品质蔬菜生产和农民增收提供了新的发展模式。大规模的设施生产,对配套的育苗技术提出了更高的要求,促进了穴盘育
以1,3-甲基二硫基-二硫醇-2-硫酮(化合物1)和1,3-环戊烯二硫基-二硫醇-2-硫酮(化合物5)为原料,在P(OEt)3存在下,分别与1,3-二(氰乙硫基)-二硫醇-2-氧酮(化合物3)发生不对称偶联,得到了两个新
缺乏必需氨基酸,会通过抑制mRNA翻译的起始阶段而引起细胞内所有蛋白质合成的下降,但是不同蛋白质合成受抑制的程度并不相同。某些蛋白质,尤其是由具有5’末端寡嘧啶(5’-termina
首先利用矩阵的广义奇异值分解给出最小二乘问题minXT=-XAXB-CF解的一般表达式,然后从两个方面入手给出矩阵方程AXB=C存在反对称解的充要条件.
麦田杂草已经成为危害小麦产量的重要影响因子,由于耕作制度、种植方式以及小麦品种、气候条件等的变化,近年来,麦田杂草发生量大,草相变化复杂,积极有效的开展麦田化学除草,
解变分不等式的交替方向法每一步需要解一个(几个)变分不等式子问题,算法的有效性受这些子问题的影响很大.本文提出了一个解线性变分不等式的简单的交替方向法.在每一步迭代中,