functors造句

• On dual functors in categories of twisted lie structures
  结构范畴中的对偶函子
• Set manipulation using functors
  使用仿函数进行集合操纵
• Connected sequence of functors
  函子的连通序列
• Functor being created and passed as one of the unary functors during the creation of the
  时作为一个一元仿函数创建和传递的。
• Category of functors
  函子的范畴
• Where the results of two unary functors are passed , as part of an
  消息的一部分，需要传递两个一元仿函数的结果作为二元仿函数的参数。
• 5 arbib m a , manes e g . arrows , structures , and functors - the categorical imperative
  正像态射的组合满足结合律一样，类型的组合也满足结合律。
• I ve covered a lot of ground in writing modular code using functors and higher order functions
  我讨论了用仿函数和高阶函数编写模块的大量基础知识。
• The outputs from the evaluations of these two unary functors are passed to a built - in binary functor called
  时是可见的。这两个一元仿函数计算的输出传递给称为
• Aside from the notion of higher order functions and functors or closures , fp also introduces the concept of
  除了高阶函数和仿函数（或闭包）的概念， fp还引入了
• 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 )的另一种乘积，且这两种乘积在范畴意义下是同构的。