functors造句
- On dual functors in categories of twisted lie structures
結(jié)構(gòu)范疇中的對偶函子 - Set manipulation using functors
使用仿函數(shù)進(jìn)行集合操縱 - Connected sequence of functors
函子的連通序列 - Functor being created and passed as one of the unary functors during the creation of the
時作為一個一元仿函數(shù)創(chuàng)建和傳遞的。 - Category of functors
函子的范疇 - Where the results of two unary functors are passed , as part of an
消息的一部分，需要傳遞兩個一元仿函數(shù)的結(jié)果作為二元仿函數(shù)的參數(shù)。 - 5 arbib m a , manes e g . arrows , structures , and functors - the categorical imperative
正像態(tài)射的組合滿足結(jié)合律一樣，類型的組合也滿足結(jié)合律。 - I ve covered a lot of ground in writing modular code using functors and higher order functions
我討論了用仿函數(shù)和高階函數(shù)編寫模塊的大量基礎(chǔ)知識。 - The outputs from the evaluations of these two unary functors are passed to a built - in binary functor called
時是可見的。這兩個一元仿函數(shù)計算的輸出傳遞給稱為 - Aside from the notion of higher order functions and functors or closures , fp also introduces the concept of
除了高階函數(shù)和仿函數(shù)（或閉包）的概念， fp還引入了 - It's difficult to see functors in a sentence. 用functors造句挺難的
- 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
我將用最后一個展示如何用仿函數(shù)實現(xiàn)集合操縱操作的例子作為結(jié)束。 - 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
針對復(fù)雜精餾系統(tǒng)特點并結(jié)合化工領(lǐng)域知識，對遺傳算子進(jìn)行了改進(jìn)，給出了一套獨特的編碼方法和求解策略。 - 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 ~ * ，進(jìn)而在moritacontexts下討論左r -模m與左s -模m之間的關(guān)系以及撓理論一些基本性質(zhì)的轉(zhuǎn)移及變化。 - 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提供了各種不同的內(nèi)置一元和二元仿函數(shù)，它使得將業(yè)務(wù)邏輯編寫為可以傳遞并且可以用不同的參數(shù)在不同的位置執(zhí)行的對象變得非常容易。 - 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是一組態(tài)射,每個態(tài)射有一個類型，表示f是從a到b的態(tài)射，具有類型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函子作用下所保持的性質(zhì)，引入了?素?fù)侠碚?，再討?素?fù)侠碚撓嚓P(guān)性質(zhì)及與-素?fù)侠碚撝g的重要關(guān)系。 - 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結(jié)合，討論在moritacontext函子作用下關(guān)于遺傳撓理論的一些基本性質(zhì)的轉(zhuǎn)移及變化，并通過一類特殊的模范疇對包與蓋進(jìn)行探討 - 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 ]的相關(guān)概念為基礎(chǔ)，研究了范疇stml ( l )中的極限與逆極限問題，從而給出了范疇stml ( l )的另一種乘積，且這兩種乘積在范疇意義下是同構(gòu)的。
手機(jī)版