1) category theory system
范畴论体系
1.
Now,the majority of criminal scholars in Germany and Japan takes the aim rationalism as the base of the criminal theory system and criticizes the category theory system.
目前 ,德日刑法学界普遍认为应以目的合理性为基础建构犯罪论体系 ,并对范畴论体系提出了批判。
2) category system
范畴体系
1.
Research on the construction of the category system concerning investigation subject;
建构侦查学范畴体系价值研究
2.
Thoughts on the category system of foreign police;
对涉外警务范畴体系的几点思考
3.
In fact, the author constructed in the book an earliest and complete logical structure for the category system of Neo-Confucianism.
《北溪字义》首次建构了一个理学范畴体系的完整的逻辑结构,同时还自觉地将诠释方法作为它的重要内容,在中国哲学范畴发展史上具有十分重要的意义。
3) categorical system
范畴体系
1.
His thought on this aesthetics includes its disciplinary orientation,theoretical issues,research methodology,theoretical framing an d categorical system,etc.
20多年来,胡经之先生一直致力于“文艺美学”的建设,他的文艺美学思想包括在文艺美学的学科定位、理论问题、研究方法、理论构架和范畴体系等方面的探索始终追随着时代的步伐、呼应着历史的需要而与时俱进,始终站在文艺美学的前沿,引领着这一学科向前发展。
4) system of category
范畴体系
1.
It should continue the discussion of system of category of sports science.
建立体育科学理论体系,就必须构建一批内涵明晰,用语准确,合乎规范,逻辑严密,具有稳定性和通用性的范畴体系。
5) category of ontology
本体论范畴
1.
So, the false appearance does not belong to the category of ontology completely.
因此，“假象”不能完全属于本体论范畴。
6) category-ontology
范畴本体论
1.
, cosmos-ontology,category-ontology and value-ontology.
其实,哲学史上存在着三种形态的形而上学:宇宙本体论、范畴本体论和意义本体论。
补充资料：范畴论
范畴论
category theory
fQnCh0U}Un范畴论(份tego叮th份叮)以抽象数学结构(称为对象)和保结构映射(称为态射)为主要研究对象的新的代数学科。 范畴的概念于1945年出现在S.Eilen反rg和S.Maelane关于同调代数的工作中。现在，范畴的语言和基础部分已渗透到数学的很多领域中，并在它们的一些新的发展中起了重要作用。自从20世纪70年代ADJ小组(J.(〕卿」en，J.W.Thateher，E.G.wa，ler和J.B.Wright)探讨计算机科学与范礴论的相关性开始，范畴论的一些成果和方法便逐步应用到计算机科学的许多方面，特别是计算机语言学、代数语义学、类型论和形式化技术等方面。这些应用促进了范畴论的发展。可以相信，像集合论一样，范畴论最终也将找到通向初等水平数学的道路。 范璐一个范畴留由以下数据和公理组成: 数据1一个留对象的类山飞飞 数据2一个节态射的类咖r始。每个节态射f都对应于一个留对象的有序偶合成态射。 公理1若节对象A，B，A‘和B’使共集合为对象，函数为态射，则可构成一个范畴set，称为集合范略。如果以群、环或域为对象，相应的同态为态射，则可分别构成群范畴grP，环范畴mg或域范畴field。如果以半序集(或拓扑空间)为对象，以单调函数(相应的为连续函数)为态射，则又可构成半序集范畴，次t(相应的为拓扑空间范畴t叩)。这类范畴称为兵体范崎。如果把函数式程序设计语言念卜P的类型和函数符号分别作为对象和态射，则可把盈李P看做一个范畴。如果把一个逻辑形式系统FSP的合式公式和形式证明分别作为对象和态射，则FSP也可看作一个范畴。 如果把范踌留的每个够态射f都反向，即把f的论域和余论城对调，则可获得一个新范畴，称为留的对仍范略，记为钟，其态射用严表示。 如果留对象A到每个节对象都恰有一个节态射，则称A为丫的初始对象，留常的初始对象称为节的终止对象。同集合论中的内射、满射、双射和逆函数相对应的态射分别是单态射、满态射、同构态射和逆态射。在范礴中还可以定义积、等子、回拉和极限，以及它们的对偶概念余积、余等子、外推和余极限。 范璐的对倪旅班一个命题为真当且仅当它的对偶命题(即命题中的概念都用其对偶概念替换)为真。 范聪留的图和交换圈若图D=(v，E>使V二必右，E二m酣蓄，且当。任E是D中一条从顶点A到B的有向边时，皆有e任节【A，B]，则称D为留的一个图。称留的以下三角形图和四边形图是交换的(图l)，是指g。f=人和几ofl=92。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条