The first thing you ll likely notice in listing 5 is that i ve made use of built - in binary predicate functors called 清单5中可能注意到的第一件事是我利用了名为
I ll conclude with a final example that demonstrates how set manipulation operations can be implemented using functors 我将用最后一个展示如何用仿函数实现集合操纵操作的例子作为结束。
Combining with the knowledge of chemical engineering , some evolutionary functors were improved , and a set of special encoding method and solution strategy was put forward according to the characteristics of the complex distillation system 针对复杂精馏系统特点并结合化工领域知识，对遗传算子进行了改进，给出了一套独特的编码方法和求解策略。
In the second section , we firstly prove the isomorphism of m and m * , and then discuss the relationship beetween rm and sm and the changes of some properties about hereditary torsion theories by the morita context functors 在第二部分中，我们首先证明m ~ * m ~ * ，进而在moritacontexts下讨论左r -模m与左s -模m之间的关系以及挠理论一些基本性质的转移及变化。
The apache library provides a wide variety of built - in unary and binary functors that make it very easy to write business rules as objects that can be passed around and executed at different places with different arguments Apache library提供了各种不同的内置一元和二元仿函数，它使得将业务逻辑编写为可以传递并且可以用不同的参数在不同的位置执行的对象变得非常容易。
The main contents of the thesis consist of two independent parts . one is the characterization of weak i sequences in terms of ext functors . we prove that the existence of such sequence and the length of a maximal weak / sequence can be expressed as some vanishing properties of ext functors 本文主要研究工作由两个独立的部分组成，其中一部分是利用ext函子来刻画弱i序列，并且证明了这个序列的存在性，以及极大弱i序列具有同样的长度。
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 the third section , using the properties of cocritical modules by the morita context functors , we give the concepts of - prime torsion theories . meanwhile we argue about several properites and the important relationship beetween - prime torsion theories and - prime torsion theories 在第三部分中，我们通过上临界模在moritacontext函子作用下所保持的性质，引入了?素挠理论，再讨论?素挠理论相关性质及与-素挠理论之间的重要关系。
Hereditary torsion theories have been developed since the 1960 ' s and have been extensively studied by golan , gabriel , dickson , stenstrom , etc . in this thesis , combining hereditary torsion theories with morita contexts , we discuss the changes of some properties about hereditary torsion theories by the morita context functors and the covers and envelopes by a special category 本文主要将遗传挠理论同moritacontexts结合，讨论在moritacontext函子作用下关于遗传挠理论的一些基本性质的转移及变化，并通过一类特殊的模范畴对包与盖进行探讨
We have proved that stml is a topological category and the category tml is a bireflective full subcategory of stml , the existence of some functors " right adjunction . based on [ 106 ] , we have researched the limits and inverse limits in the category stml , given the other one kind of product of - smooth topological molecular lattices 以文[ 106 ]的相关概念为基础，研究了范畴stml ( l )中的极限与逆极限问题，从而给出了范畴stml ( l )的另一种乘积，且这两种乘积在范畴意义下是同构的。
