Terminology Management and Term Discussion in Software Localization;

Formal description for architecture model based on feature and category theory

The paper discusses some major parallel models at present,and studies in details the parallel model based on the category theory,categorical data type (CDT) model,the present work actuality and existing problem etc.

By using category theory,the properties of corelations,including the basic properties of the correspondence between relations and corelations,equivalence corelations,and coequivalence corelations,are investigated.

The system of theories of socialism with Chinese characteristics is a completely new theoretical category.

The paper applies the category theory of the cognitive linguistics to the classification of the English vocabulary,which can be classified into three categories-basic,super-ordinate and subordinate category words,and to the exploration of the characteristics of the basic category words-simple form;high frequency;productiveness;wide use;and metaphorical nature.