The content in chapter three is main of this paper . at the first all we try to discuss the lie algebroid morphism and lie bialgbroicl morphism whose operations are analyzed and discussed . on the basis of this we discuss pullback dirac structure for lie bialgebroid clearly 第三章是本文的主体部分,首先引入了李代数胚态射和李双代数胚态射的概念,对其运算进行了分析和讨论,在此基础上对李双代数胚上的拉回dirac结构做了详细的讨论。
It differs from the traditional category theory in two directions : all morphisms have types and the composition of morphisms is not necessary a morphism . two aspects of application of typed category theory are discussed : cones and limits of knowledge complexity classes and knowledge completion with pseudo - functors 一个带类型范畴是一个四元组k o , m , g , t ,其中o是一组对象, m是一组态射,每个态射有一个类型,表示f是从a到b的态射,具有类型t 。
In this thesis , main research is described as following : 1 ) according to the principle of system science and resemble technology , we systematically discussed the basic theory of simulation technology . combining with several simple but typical examples , we put forward morphism principle and equal principle which based on morphism system and equivalent system and expounded the inherent meaning of simulation and emulation . some vocabulary related were clarified definitely and the interrelationship between simulation , experiment and analysis was expounded . the developing veins of the simulation technolo . gy were elaborately carded . the modern meaning of simulation technology was explained further 本文的工作主要包括以下几项内容: 1 )从系统科学和相似技术的角度出发,系统地总结及论述了仿真技术的基础理论;结合几个简单的典型实例,提出了以同型系统和等价系统为基础的同型原理和等价原理,并以此为基础阐明了模拟和仿真的内在含义;对与仿真相关的一些词汇作了明确的界定,阐明了仿真方法与试验方法、理论分析方法的相互关系;对仿真技术的发展脉络作了细致的梳理;对仿真技术的现代含义作了进一步的说明。
Since 1950s , many mathematicians have been engaged in studying the " generalized inverse of matrices such as the generalized inverse of matrices on rings , the generalized inverse of morphism , the compution on the generalized inverse of matrices , the application of generalized inverse and so on Penrose利用四个矩阵方程给出矩阵广义逆的更为简洁定义,此后,矩阵广义逆研究得到了迅速的发展。矩阵广义逆的研究包括环上矩阵的广义逆,范畴中态射的广义逆,广义逆矩阵的计算和广义逆矩阵的应用等。
In mathematics, a morphism is an abstraction derived from structure-preserving mappings between two mathematical structures. The notion of morphism recurs in much of contemporary mathematics.