说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 态射-范畴论
1)  morphism-categories
态射-范畴论
2)  morphism category theory
态射范畴论
3)  category theory
范畴论
1.
Study on the Supply and Demand Metching Method of Emergency Decision-making Knowledge Based on Category Theory
基于范畴论的应急决策知识供需匹配方法研究
2.
Through the research on the mapping relationship and various axioms of category theory and combining the theory with the requirement analysis,we purpose a systematic demand model which can be identified by computer from systematic notion.
通过对范畴论中的映射关系和各种公理的研究,将该理论和需求分析结合起来,提出一种从系统概念转化为计算机可以识别的系统需求的模型。
3.
The way of thinking of category theory is introduced, then the general approach to applying category theory to formal semantic modeling is proposed.
范畴论是一种通用概念框架,可作为软件工程的理论基础。
4)  category theory
范畴理论
1.
Formal description for architecture model based on feature and category theory
基于特征和范畴理论的体系结构模型形式化描述
2.
The paper discusses some major parallel models at present,and studies in details the parallel model based on the category theory,categorical data type (CDT) model,the present work actuality and existing problem etc.
在对目前较为流行的一些并行模型机进行简单分析的基础上,对以范畴理论为基础的并行机模型、范畴数据类型(CDT)的研究方法、现状及存在的问题进行了较为深入的研究和探讨。
3.
By using category theory,the properties of corelations,including the basic properties of the correspondence between relations and corelations,equivalence corelations,and coequivalence corelations,are investigated.
文章使用范畴理论研究共关系的基本性质,讨论共关系与关系之间的对应,以及等价共关系、共等价共关系等。
5)  theoretical category
理论范畴
1.
The system of theories of socialism with Chinese characteristics is a completely new theoretical category.
中国特色社会主义理论体系是一个崭新的理论范畴。
6)  The category of painting theory
画论范畴
补充资料:范畴论


范畴论
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。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条