functors造句
例句與造句
- 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
本文主要研究工作由兩個(gè)獨(dú)立的部分組成,其中一部分是利用ext函子來刻畫弱i序列,并且證明了這個(gè)序列的存在性,以及極大弱i序列具有同樣的長(zhǎng)度。 - 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
一個(gè)帶類型范疇是一個(gè)四元組k o , m , g , t ,其中o是一組對(duì)象, m是一組態(tài)射,每個(gè)態(tài)射有一個(gè)類型,表示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)移及變化,并通過一類特殊的模范疇對(duì)包與蓋進(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)的。 - It's difficult to find functors in a sentence. 用functors造句挺難的
- In the last section , we discuss the covers and envelopes both of which are of great importance in the field of ring theories . by the morita context functors we can transform from rx - cover ( envelope ) into sx - f - cover ( envelope ) . finally they are further characterized by the particular properties of the direct limit
在第四部分中,我們對(duì)環(huán)論中十分重要的內(nèi)容? ?包與蓋進(jìn)行探討,通過一類特殊的模范疇_ rx ( _ sx ) ,使_ rx -包(蓋)在moritacontext函子作用下轉(zhuǎn)化為_ sx -包(蓋) ,最后利用正向極限的特性,進(jìn)一步刻畫這類特殊的包與蓋。
更多例句: 上一頁