SPEC－代数与T－代数之关系  

The relationship between SPEC-algebras and T-algebras

作　　者：王宪栋[1] 

机构地区：[1]西安电子科技大学应用数学系

出　　处：《西安电子科技大学学报》1994年第3期362-371,共10页Journal of Xidian University

摘　　要：该文在自由ＳＰＥＣ－代数Ｔ＿ｓ（Ｘ）及相应的典范映射Ｘ＿η：→Ｔ＿ｓ（Ｘ）的基础上，利用范畴论中函子与自然变换的概念，建立了函子范畴Ｓｅｔ￣ｓ上的代数理论Ｔ＝（Ｔ＿ｓ，η，μ），讨论了ＳＰＥＣ－代数、Ｔ－代数的性质。Based on the concept of a free SPEC-algebra T_s(x)and the related universal mappingx_η:this paper gives an algebraic theory T=(T_s,η,μ)on the functor category Set￣susing ideas of functors and natural transformations. Properties of SPEC-algebras and T-alge-bras are discussed. Finally,it is proved that these two algebraic structures are equivalent in anatural manner.

关 键 词：SPEC-代数 T-代数 范畴 函子范畴 

分 类 号：O154[理学—数学]