论文部分内容阅读
本文在证明范畴中提出了自然反变换和自然反同构的概念,证明了与Yoneda引理相应的定理,并证明了在初等topos E中,Mon(A)反同构于E(A,Ω)。这里Mon(A)为以A∈Ob E为上区域的所有单态射之集,Ω为E的子对象分类器。
关于证明范畴的一点注记
【摘 要】
：
本文在证明范畴中提出了自然反变换和自然反同构的概念,证明了与Yoneda引理相应的定理,并证明了在初等topos E中,Mon(A)反同构于E(A,Ω)。这里Mon(A)为以A∈Ob E为上区域的所
【出 处】
：
哈尔滨工业大学学报
【发表日期】
：
1985年A3期
其他文献
随着经济和信息技术的快速发展,随着移动通信和智能设备的迅速发展,第五代移动通信系统(5G)的商用落地,为用户提供更好体验、更为快捷流畅、稳定的通信服务.针对5G 移动通信
罗杰斯说：“成功的教育依赖于一种真诚的理解和信任的师生关系，依赖于一种和谐安全的课堂氛围。”在英语课堂教学过程中，创设轻松和谐的课堂教学氛围，可以让学生产生良好的心理效
如何真正让学生喜欢学习汉字，产生主动识字的愿望，培养学生热爱祖国语言文字的思想感情呢？我认为将看似枯燥、呆板的识字教学变得鲜活生动是关键。要把“教符号”变成“教文化”
在十七大报告中明确指出：“要加强和改进思想政治工作，注重人文关怀和心理疏导。”因此，注重人文精神成为高中政治教学中的一个重点。在政治课中注重人文教学，不仅是以教学知识、
目的探讨特定电磁波辐射仪(TDP)对男性生殖器官的影响,为男科疾病正确选择物理治疗提供依据.方法选用临床常用的理疗仪TDP,对20只兔外生殖器做模拟人的治疗试验,并对兔睾丸、
为提高高校高水平运动员运动成绩，除了必须有良好的身体、技术和战术训练作为基础，良好的心理状态也是运动员在比赛中充分发挥运动水平的有力保证。结合多年训练的实践经验，从引
制作手抄报是一种多方面多层次的综合训练，它是一种课外练笔的好形式，既能使学生开阔眼界，增长知识，培养能力，又能陶冶情操，净化灵魂，更能促进作文教学，使作文教学得法于课内，受益于课
鲜明生动的插图，是现行数学教材的一大特色。翻开低年级数学教材，呈现在眼前的是色彩鲜艳、图文并茂、形式多样、生动形象、富有情趣和童趣的画面。插图的内容贴近学生生活，图画
本文采用有限单元法对主刚度不对称挠性转子进行动力响应分析,由此计算影响系数矩阵,再以试验法对其加以修正,从而减少了平衡过程中的开车次数.此法经过在10万KW 多跨模拟试
在设计约束及工程模板的基础上,提出了产品约束模板的概念并给出了其面向对象的描述,阐述了基于产品约束模板设计的过程.基于上述原理利用商用CAD系统及其二次开发工具,开发