全序群范畴的Hom函子

设 A 是 Abelian 格序群,B 是 Abelian 全序群,本文证明了 Hom(A,B)是 Abelian 全序群,Hom(A,·)是 Abelian 全序群及其保序同态的范畴(?)到自身的共变函子,同时在全序模及其保序同态的范畴上得到了类似的结果.     

学校进行创新文化教育势在必行

学校是传播科学文化的重要阵地,是创新型人才培养的摇篮,在实现建设创新型国家的宏伟战略目标中肩负着重大的历史使命.学校培养人才质量的高低关系到国家未来综合国力强弱,关系到国家科技事业的发展后劲.当前在学校加强创新文化教育显得尤为重要,它与学校的素质教育是相辅相成的.创新文化的实质是将创新引入文化范畴,是为鼓励创新而努力营造有利于创新型人才脱颖而出、有利于增强自主创新能力的文化氛围和文化环境.在学生中加强创新文化教育,应围绕以下几个方面进行.     

半群分次范畴上的模范畴,Galois盖与Smash积

设S为有单位元的可消半群.引入半群S对C-Mod的作用及半群S分次C-模范畴的概念,证明了当C为B的Galois盖时,B-模范畴与C的不动点满子范畴是一致的.对半群S分次B-模范畴,Smash积C#S-模范畴与半群S分次B-模范畴是一致的;同时还讨论了半群S分次模的Smash积,刻画了Smash积函子#与(-)*之间的关系.     

π-代数上的模及^DMC^π与Rat（C^＊MD^π ＊）范畴

引进了π-代数上的模的概念,研究了其相关性质.证明了π-余代数上余模的对偶是对偶π-代数上的模.最后在Mπ^C≌Rat（C^＊M^π）的基础上,证明了^DMπ^C≌Rat（C^＊MD^π＊）.     

新闻标题中的工具成分

论文立足于汉语标题语境,考察了汉语新闻标题中的工具成分,认为工具成分可以做主语而不是"工具施事化,"施事隐含与工具凸显体现了反比例关系,各语义范畴之间有一定的相似性,会发生转化。     

态射的Moore—Penrose逆的构成

给了了有满分解的态射的Ｍｏｏｒｅ－Ｐｅｎｒｏｓｅ逆的结构，并且一般态射给出由它的（１，３）逆和（１，４）逆表的Ｍｏｏｒｅ－Ｐｅｎｒｏｓｅ逆。     

Girard Quantale范畴中的乘积

本文讨论了Girard Quantale范畴的乘积,并且给出了该乘积的结构,同时证明了此范畴中有等化子.     

外语教学中加强基本范畴词汇的重要性

认知科学发现了一个重要的层面——基本范畴层面。在日常生活中，基本范畴左右着我们的认知和表达。能否正确地掌握和使用基本范畴里的词汇是关系到能否准确进行交流的大事。但是，目前我国的外语教学虽经几易其形势，但限于教学评测手段的单一性总体形势上依然倾向于应试教育。本文主要探讨外语教学中加强基本范畴词汇对词汇教学的重要意义。     

并发模型的范畴论方法

范畴论是一种通用概念框架，可作为软件工程的理论基础.介绍范畴论不同于集合论的独特思维方式，并探讨将这些概念与思想作为数学工具应用到语义模型研究中的一般方法，最后给出利用范畴论研究并发模型以及模型间关系的应用实例.     

数项级数中阿贝尔判别法的必要条件的证明

利用Dirichlet判别法的必要条件，来证明阿贝尔判别法的必要条件的成立，并推广到广义积分和含参变量的积分的应用上。