態射 的英文怎麼說

5 arbib m a, manes e g. arrows, structures, and functors - the categorical imperative

正像態射的組合滿足結合律一樣，類型的組合也滿足結合律。

On structure of nef - value morphisms of projective varieties

值態射的結構

We defined the generalized moore - penrose inve rse of morphism, prove it ' s unique when it is existed, and give some its expression in some cases

定義了態射的加權廣義逆，證明它的唯一性，在某些情形下給出了存在的充要條件和表達式。

Entity - relationship - attribute designs and sketches. theory and application of category theories, 2002, 10 : 94 - 112. 19 burstall r m, goguen j a. putting theories together to make specifications

所謂類范疇，就是放棄了帶類型範疇中兩個首尾相接的態射一定能組合成第三個態射，且它們的類型也相應組合這一要求。

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 。

On homotopy regular morphisms and covering spaces

關于同倫正則態射與覆疊空間

It also discusses some properties of homology regular morphism, and its close relationships to homology monomorphism ( epimorphism ) and homology equivalence

給出了同調正則態射的一些性質，以及它與同調單（滿）態和同調等價之間的關系。

This paper defines homology monomorphism, homology epimorphism, homology regular morphism in the category of topological spaces with point by using homology functor

摘要利用同調函子，在點標拓撲空間范疇中定義了同調單態、同調滿態、同調正則態射等概念。

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

當范疇不具有零對象時，以態射偶的等化子為工具討論態射的廣義逆，並在矩陣范疇中建立了齊次線性方程組的解與等化子的關系。

Ijcai - 77, 1977, pp. 1045 - 1058. 20 johnson m, dampney c n g. on category theory as a meta ontology for information systems research. in proc

對象間態射的缺失意味著知識內部結構性的缺失，從而產生了對各種知識不完備性以及不完備知識完備化的范疇論意義上的研究。

Another main topic of this thesis is to discuss cartesian closed property of some full subcategories of local complete semi - lattices with stable functions

第三章討論以穩定映射為態射的局部完備格範疇的滿子范疇的笛卡爾閉性

The cartesian closed properties of some distributive domains are obtained, such as the categories of distributive meet - continuous semi - lattices, distributive continuous complete semi - lattices, distributive algebraic complete semi - lattices ( distributive scott domains ). generally, we have that the categorical products are cartesian products and the exponential objects are in fact the function spaces of stable functions under stable orders in any full subcategory of slp

得到了以穩定映射為態射的完備半格範疇、連續完備半格範疇、代數完備半格範疇都不是笛卡爾閉的，而以分配的交連續完備半格、分配的cos 、分配的scottdomain等為對象的slp的滿子范疇是笛卡爾閉的

Frobenius morphisms and fixed - point algebra of the dual extension algebras

態射和固定點代數

The primary studies in this paper are the following : ( 1 ) we define a generalized alexandroff topology on an l - fuzzy quasi ordered set which is a generalization of the alexandroff topology on an ordinary quasi ordered set, prove that the generalized alexandroff topology on an l - quasi ordered set ( x, e ) can be obtained by the join of a family of the alexandroff topologies on it, a topology on any topological space can be represented as a generalized alexandroff topology on some l - quasi ordered set, and the generalized alexandroff topologies on l - fuzzy quasi ordered sets are generalizations of the generalized alexandroff topologies on generalized ultrametric spaces which are defined by j. j. m. m. rutten etc. ( 2 ) by introducing the concepts of the join of l - fuzzy set on an l - fuzzy partial ordered set with respect to the l - fuzzy partial order and l - fuzzy directed set on an l - fuzzy quasi ordered set ( with respect to the l - fuzzy quasi order ), we define l - fuzzy directed - complete l - fuzzy partial ordered set ( or briefly, l - fuzzy dcpo or l - fuzzy domain ) and l - fuzzy scott continuous mapping, prove that they are respectively generalizations of ordinary dcpo and scott continuous mapping, when l is a completely distributive lattice with order - reversing involution, the category l - fdom of l - fuzzy domains and l - fuzzy scott continuous mappings is isomorphic to a special kind of the category of v - domains and scott continuous mappings, that is, the category l - dcqum of directed - complete l - quasi ultrametric spaces and scott continuous mappings, and when l is a completely distributive lattice in which 1 is a molecule, l - fuzzy domains and l - fuzzy scott continuous mappings are consistent to directed lim inf complete categories and lim inf co ntinuous mappings in [ 59 ]

本文主要工作是： （ 1 ）在l - fuzzy擬序集上定義廣義alexandroff拓撲，證明了它是通常擬序集上alexandroff拓撲的推廣，一個l - fuzzy擬序集（ x ， e ）上的廣義alexandroff拓撲可以由其上一族alexandroff拓撲取並得到，任意一個拓撲空間的拓撲都可以表示為某個l - fuzzy擬序集上的廣義alexandroff拓撲，以及l - fuzzy擬序集上的廣義alexandroff拓撲是j . j . m . m . rutten等定義的廣義超度量空間上廣義alexandroff拓撲的推廣。 （ 2 ）通過引入l - fuzzy偏序集上的l - fuzzy集關于l - fuzzy偏序的並以及l - fuzzy擬序集上（關于l - fuzzy擬序）的l - fuzzy定向集等概念，定義了l - fuzzy定向完備的l - fuzzy偏序集（簡稱l - fuzzydcpo ，又叫l - fuzzydomain ）和l - fuzzyscott連續映射，證明了它們分別是通常的dcpo和scott連續映射的推廣，當l是帶有逆序對合對應的完全分配格時，以l - fuzzydomain為對象， l - fuzzyscott連續映射為態射的范疇l - fdom同構於一類特殊的v - domain范疇，即以定向完備的l -值擬超度量空間為對象， scott連續映射為態射的范疇l - dcqum ，以及當l是1為分子的完全分配格時， l - fuzzydomain和l - fuzzyscott連續映射一致於k . wagner在[ 59 ]中定義的定向liminf完備的-范疇和liminf連續映射。

6 maclane s. categories for the working mathematician

恆等態射對應的類型是幺元類型u 。

On uniqueness of the solution of a morphism equation

態射方程解的惟一性

On covering homotopy regular morphisms

關于覆疊同倫正則態射

A note on homotopy regular morphisms

同倫正則態射的注記

On homology regular morphisms

關于同調正則態射

2 petri c a. kommunikation mit automaten dissertation. darmstadt, 1962

當兩個態射組合時，它們的類型也相應地組合。