morphisms造句
例句與造句
- on homotopy regular morphisms and covering spaces
關(guān)于同倫正則態(tài)射與覆疊空間 - on structure of nef-value morphisms of projective varieties
值態(tài)射的結(jié)構(gòu) - frobenius morphisms and fixed-point algebra of the dual extension algebras
態(tài)射和固定點代數(shù) - on covering homotopy regular morphisms
關(guān)于覆疊同倫正則態(tài)射 - a note on homotopy regular morphisms
同倫正則態(tài)射的注記 - It's difficult to find morphisms in a sentence. 用morphisms造句挺難的
- on homology regular morphisms
關(guān)于同調(diào)正則態(tài)射 - the corresponding propositions will at the same time be given respectively . in section 3, the main task is to clarify the natural morphisms between toeplitz algebras
第三節(jié)的主要目的是對toeplitz算子代數(shù)間自然的同態(tài)成為c~*-代數(shù)同態(tài)進(jìn)行說明。 - it is also proved that the category of algebraic l-domains with scott continuous functions as morphisms is a reflective subcategory of the category of l-cusls and monotone maps
本文還證明了scott連續(xù)映射為態(tài)射的代數(shù)l-domain范疇為l-cusl與單調(diào)映射作成的范疇的反射子范疇。 - in the first section : the concept of stratified completely t2 separation is introduced in l-topological spaces . it is a l-good extention, a invariant of weak homeo-morphisms, and it is hereditary, producible
第一節(jié)的內(nèi)容是：在l-拓?fù)淇臻g中引入一種層完全t_2分離性，它是一般拓?fù)渲型耆玹_2分離性的l-好推廣。 - we research the generalized inverse of morphisms in preadditive category, give the characterization for the moore-penrose and drazin inverse, and obtain the necessary and sufficient conditions for the existence of core-nipotent for morphism
我們考察了預(yù)加法范疇中態(tài)射的廣義逆，利用冪等態(tài)射給出了態(tài)射廣義逆存在的充要條件及其表達(dá)式。 - part 2 ( chapter3 ) the moore-penrose inverse and drazin inverse of morphisms with universal-factorzation in category are studied, its existences are characterized, and the expression of the generalized inverse of morphism are establish
(2)研究范疇中具有泛分解態(tài)射的moore-penrose逆和drazin逆，給出了moore-penrose逆和drazin逆存在的充要條件及其表達(dá)式。 - when there is nozero object in category, the generalized inverse of morphisms are studied through the equa-alizer, the necessary and sufficient conditions for generalized inverse is obtained, and the relation between the linear equation and the equalizer is presented in matrix category
當(dāng)范疇不具有零對象時，以態(tài)射偶的等化子為工具討論態(tài)射的廣義逆，并在矩陣范疇中建立了齊次線性方程組的解與等化子的關(guān)系。 - 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
一個帶類型范疇是一個四元組ko,m,g,t，其中o是一組對象,m是一組態(tài)射,每個態(tài)射有一個類型，表示f是從a到b的態(tài)射，具有類型t。 - 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
一個帶類型范疇是一個四元組ko,m,g,t，其中o是一組對象,m是一組態(tài)射,每個態(tài)射有一個類型，表示f是從a到b的態(tài)射，具有類型t。 - by constructing two functor, we have proved a representation theorem of the category stml that the category stml is equivalent with the category fsts, where fsts is consisted of-fuzzifying scott topological spaces and the mappings which are preserving directed-join and way-below relation and continuous . besides, the category stml ( c ) has been discussed, where c is a subcategory of the category of the completely distributive lattices and gohs, c, morphisms are ( 1, 2 )-smooth continuous goh
構(gòu)造性地給出一對函子，并以此證明了范疇stml(l)的一個表示定理，即范疇stml(l)與范疇fsts(l)(由l-fuzzifyingscott拓?fù)淇臻g與保定向并和way-below關(guān)系的l-fuzzifying連續(xù)映射所構(gòu)成的范疇)等價。
更多例句： 下一頁