函子的法律证明保存完整的结构吗?
Do the functor laws prove complete preservation of structure?
它不具有那些好的函子性质。
正合列是模论中研究函子问题的基本工具。
The exact sequences are the basic means on studying the functors of module theory.
首先得到了闭路函子和同纬函子保持同伦正则性。
It was showed at first that the loop space functor and the suspension functor preserve the properties of homotopy regular.
当你设计一个函,重要的是要了解这些函子的寿命。
When you are designing a functor, it is important to understand the lifetime of these functors.
定义了函子的群逆,给出了函子的群逆存在的充要条件。
In this paper we define the group inverse of functor and necessary and sufficient conditions for its existence are also given.
证明了闭路函子和同纬函子保持同伦正则性,同时构造出了一系列同伦等价的空间。
It is showed that the loop space functor and the suspension functor preserve the properties of homotopy regular. And a series of homotopy equivalence Spaces are constructed.
给出了函子范畴中任意右正合保直和可加函子F与张量函子B自然等价的一个定理。
A theorem on natural equivalences between a right exact additive functor F which preserves sums and some tensor functor ?B over functor categories is given.
本文定义了模的一种新的环变换,讨论了它的一些基本性质,并且给出了由诱导函子引起的环变换下的一个模的同构定理。
This paper defines a new transformation of modules, discusses some of its basic characteristics, and proposes a modular isomorphic theorem of the ring transformation caused by induced functors.
在子文件夹1中植入合同标题页、客户采购订单和/或通知函以及供货范围文件。
Populating sub-folder 1 with a copy of the contract header sheet, client purchase order and/or notification to proceed and scope of supply.
本文通过对已识别拉氏乘子法的初步探讨,指出了已识别拉氏乘子法是变分原理中泛函变换的统一方法。
Based on a preliminary study on the identified multiplier method, it is pointed out in this paper that this method is a unite method of functional transformation in variational principle.
在计算上可利用路径积分技术来处理海夸克的贡献,我们导出了纯胶子(物理胶子)生成泛函,为胶子球物理的研究提供了理论基础。
With the contribution of sea quarks, the generating functional of pure gluons is derived, which providing the theoretical basis for gluon-ball studies.
应用拉氏乘子法,建立了一端固定、一端自由的自然弯曲细长梁动力分析的广义泛函。
The Lagranges multiplier method is applied in this paper to set up a generalized function of dynamic analysis of the natural curved slender beams which have one built-in end and one free end.
这包括函式程式码直接执行期间收集的样本,以及目标函式呼叫的子函式执行期间收集的样本。
This includes samples that are collected during the direct execution of the function code and samples that are collected during the execution of child functions that are called by the target function.
采用子空间中支撑泛函延拓的方法,构造出在复线性空间任意点上的复支撑泛函;确定在同一支撑点上复支撑泛函的数值域,从而得到复支撑泛函具有唯一性的充分必要条件。
This paper investigates the existence of complex support functional of a convex function in complex linear spaces and the complex numerical ranges of the complex support functionals on a point.
对于全域通用子运算式最佳化,编译器会搜寻整个函式中有没有通用子运算式。
For global common subexpression optimization, the compiler searches entire functions for common subexpressions.
对于全域通用子运算式最佳化,编译器会搜寻整个函式中有没有通用子运算式。
For global common subexpression optimization, the compiler searches entire functions for common subexpressions.
应用推荐