查询词典 finitely cocomplete category

Finally, after defining an evaluation module of the corresponding Loop superalgebra (Section 4), two major results of the paper -Theorem 4.land Theorem 4.2 are proved: Theorem 4.1 reduces the irreducibility of the tensor product of finitely many evaluation modules to the irreducibility of the tensor product of finitely many irreducible modules of a nilpotent Lie superalgebra; Theorem 4.2 gives a criterion for the tensor product of such modules to be irreducible.

第4节在定义了相应的Loop超代数的赋值模之后，证明了本文的两个主要结论：定理4.1和定理4.2。定理4.1将有限多个赋值模其张量积的不可约性归结为一幂零李超代数的限多个不可约模其张量积的不可约性；定理4.2利用不可约指标给出了一幂零李超代数的限多个不可约模其张量积仍不可约的判别准则。

According to the existence results of general equilibrium problems and vector equilibrium problems have been studied more and more. Inspired and motivated by these research results, this paper is devoted to study systematically a class of equilibrium problems, which is unify and extension of a large number of known equilibrium problems and variational inequalities problems. The research is carried on from three aspects.Firstly, in finitely continuous topological spaces, we introduce four new types of the system of generalized vector quasi-equilibrium problems, and we derive some existence results of a solution for the system of generalized vector quasi-equilibrium problems via the maximal element theorems in product finitely continuous topological spaces.Secondly, in complete metric spaces, we provide the Ekeland variational principle to equilibrium problems with set-valued maps. And via the Ekeland variational principle, existence results for vector equilibrium problem with set-valued maps and the system of vector equilibrium problem with set-valued maps.

针对一般的均衡问题和向量均衡问题解的存在性，已有许多研究成果，受这些成果的启发，本文主要从理论上较为系统地研究了一类均衡问题，它统一和推广了许多已有的均衡问题和变分不等式问题，研究分有三个方面；首先，在有限连续拓扑空间中，我们提出了四类广义向量拟均衡系，并借助于有限连续拓扑空间中的极大元定理讨论了这四类均衡系问题的解的存在性问题，然后，在完备度量空间中，我们给出了关于集值均衡问题的Ekeland变分原理，并利用Ekeland变分原理分别讨论了集值向量均衡问题和集值向量均衡系问题的解的存在性。

Metaphor is the cognitive way to conceptualize an abstract category on the basis of the experiences in another category within a different domain, and metonymy is the cognitive way to activate one cognitive category by referring to another category within the same domain.

隐喻是人类将其某一领域的经验用来说明或理解另一类领域的一种认知方式，转喻是同一认知域内相关联的两个事物中，一个突显事物替代另一事物的认知方式。

"All-round graphic design material Dictionary" is a series of library types of numerous products, everything: science and technology category, abstract class, business class, character class, the world famous category, type of flowers, garden class, the Chinese customs categories of Chinese picture category natural categories, agricultural-type, tool type, astronomy class, still-life category, border type, shading categories, sports, cartoon-type, instrument type, such as an integrated tool material.

全方位平面设计素材辞典》是一套种类众多的系列图库产品，举凡：科技类、抽象类、商业类、人物类、世界名胜类、鲜花类、园林类、中华风情类、中华图片类、自然类、农业类、工具类、天文类、静物类、边框类、底纹类、运动类、卡通类、乐器类、综合类等工具素材。应有尽有，包罗万象。

The proof is given that the category of linear fuzzy neighborhood spaces in the sense of Katsaras is isomorphic to that of co-towers of topological vector spaces and the intersection of the category of linear fuzzy neighborhood spaces with the category of type fuzzy topological vector spaces is the extract category of induced fuzzy topological vector spaces.

证明了Katsaras的线性fuzzy邻域空间范畴与分明线性拓扑空间的余塔空间范畴同构，而Katsaras的线性fuzzy邻域空间范畴与型fuzzy拓扑线性空间范畴的交集恰为诱导的fuzzy拓扑线性空间范畴。

The latter is essentially derived from the geometric realization of Happels triangulated equivalence between stable module category of repetitive algebra and bounded derived category of finite dimensional algebra. In terms of this realization, we deduce that the Lie algebra realized by derived category of a finite dimensional algebra is isomorphic to the Lie algebra realized by stable module category of the corresponding repetitive algebra.

后者本质上是Happel关于重复代数的稳定模范畴和导出范畴的三角等价的一个几何实现及其应用，使用这种几何实现，我们可以证明在重复代数的稳定模范畴上定义的李代数同构于相应的导出范畴上实现的李代数。

With the guidance of Prototype Theory,the paper has expatiated upon the features of basic level category and discussed about the application of basic level category,superordinate category,subordinate category and metaphor to effective vocabulary learning.

以原型范畴理论为指导，阐述基本层次范畴的特点，探讨如何应用基本层次范畴、高层次范畴、低层次范畴及隐喻等理论来增强对词汇的认知能力，提高大学英语词汇学习的效率。

The main selling varieties are: Trees category, type of flowering shrubs, tree type, color categories, hedge type, ornamental bamboo, bonsai type flowers, flower Lei category Flacourtia category by category, type of lawn grass, flower festivals, such as total 23 major categories of more than 800 species, nursery stock, and has introduced a comprehensive range of new varieties, products, and more adapted to the northern, western cold climate, soil salinization, soil drought and other adverse natural environment, so best-selling nursery stock throughout the country.

国腾花卉苗木园艺场于2003年在宿迁市沭阳县工商局合法认证注册，注册资金480万元，主要是借助我们沭阳&中国花木之乡&40万亩苗木集产区的优势，致力于抗盐碱耐干旱苗木及彩叶新品种的推广以及各类园林造景必需的国家二级保护树种。主要品种有：行道树类、花灌木类、乔木类、色块类、绿篱类、观赏竹类、花卉盆景类、花篱类、刺篱类、地被类、草坪草种类、节日草花等共达23大类800余种，苗木品种齐全且不断推出新品种，产品多适应北方、西部气候寒冷、盐碱性土壤，土质干旱等恶劣的自然环境，所以苗木畅销全国各地。

At present, our products have anti-theft device category, reversing radar categories, peachwood categories, carpet type, platinum pieces of category, type of explosion-proof membrane, surrounded by large categories, category fender, bumper type, care category, type and internal decoration such as decoration.

目前，我公司产品有防盗器类、倒车雷达类、桃木类、地毯类、白金件类、防爆膜类、大包围类、挡泥板类、保险杠类、护理品类、外装饰类和内装饰类等。

The primary category of Chinese ancient painterly theory can analysed approximately into symbolistic configuration category、entitative configuration category and model configuration category.

中国古代画论的各主干范畴大致可分为象性结构范畴、实性结构范畴和虚性结构范畴。

Anna: No, I've got a hangover.

不是，我昨晚宿醉了。

We head into the mountains in Su's new Land Cruiser, stop for lunch at a scenic restaurant and then hang around drinking beer and eating fruit as two of his employees attempt to lure the birds with a tape recording of the fowl's mating call.

我们坐上苏的巡逻车向山顶出发，在一家风景优美的餐馆吃了中饭。然后我们喝着啤酒吃着水果四处逛。