论文部分内容阅读
本文研究了在一般topos中内蕴Heyting代数对象的性质．利用范畴的态射及伴随的方法，获得了内蕴Heyting代数对象为内蕴分配格结果，推广了集合范畴中的对应结果．
关于topos中的内蕴Heyting代数对象
【摘 要】
：
本文研究了在一般topos中内蕴Heyting代数对象的性质．利用范畴的态射及伴随的方法，获得了内蕴Heyting代数对象为内蕴分配格结果，推广了集合范畴中的对应结果．
【机 构】
：
连云港师范高等专科学校数学系,南京大学数学系,南京师范大学数学系
【出 处】
：
数学杂志
【发表日期】
：
2011年6期
【基金项目】
：
Supported by National Natural Science Foundation of China （10731050）, Supported by Jiangsu Postdoctoral Science Foundation （1001029C）.
其他文献
目的建立测定降脂颗粒中的虎杖苷、二苯乙烯苷、橙皮苷含量的高效液相色谱法。方法色谱柱为Kromasil C18柱(250 mm×4.6 mm,5μm),流动相为乙腈-水(20∶80),检测波长283 nm、320 nm,柱温30℃,流速1.0 m L/min。结果虎杖苷质量浓度在5.12~38.40μg/m L范围内与峰面积有良好线性关系(r=1.000),平均回收率为100.13%,RSD为0.6
目的探讨重组人粒细胞刺激因子(rh G-CSF)临床应用中的安全性,为临床合理用药提供参考。方法搜索数据库国内外有关rhG-CSF临床应用中不良反应的相关文献,并进行归纳分析。结
综述了交通管理信息系统、先进型交通管理系统、交通路线诱导系统、卫星定位系统和地理信息系统在城市道路交通管理中的应用,并对道路交通管理的未来进行了展望.
本文比较了带干扰的两类不同风险模型.首先研究了在不同保费计算原理下各风险业务的相关性是如何影响保费率计算的,进而通过鞅方法推导出两类模型破产概率的Lundberg指数和Lu
应用计算机数据处理技术对县级森林资源进行清查,为复杂的数据处理提供了科学、简捷、准确的方法,提高了森林资源清查内业的效率.
本文研究了一类非线性分数阶泛函微分方程.利用锥拉伸与锥压缩不动点定理,得到这类分数阶泛函微分方程的正解的存在性,推广了马如云的结果.