Lb-coequalizers and Lb-regular Epimorphisms in the Category of L-sets and Bi-induced Maps  

作　　者：ZHANG Hong TANG Jian-gang LI Guo-hua 

机构地区：[1]College o.f Mathematics, Sichuan University, Chengdu 610064, China [2]Department of Mathematics,Yili Normal University, Yining 835000, China

出　　处：《Chinese Quarterly Journal of Mathematics》2012年第2期169-176,共8页数学季刊（英文版）

基　　金：Foundation item： Supported by the National Natural Science Foundation of China（10871137）

摘　　要：In this paper,it gives the definition of the category of ■-sets and bi-induced maps whose true value set is a Locale,a complete Heyting algebra.In this category it defines the L_b-monomorphisms and the L_b-epimorphisms.Especially,it gives the definition,the judgmental theorem of L_b-coequalizers.Furthermore,it defines L_b-regular epimorphisms and proves the judgmental theorem.At the end it concludes a result:the category of ■-sets and bi-induced maps is finitely cocomplete.In this paper, it gives the definition of the category of L-sets and bi-induced maps whose true value set is a Locale, a complete Heyting algebra. In this category it defines the Lb-monomorphisms and the Lb-epimorphisms. Especially, it gives the definition, the judgmental theorem of Lb-coequalizers. Furthermore, it defines Lb-regular epimorphisms and proves the judgmental theorem. At the end it concludes a result： the category of E-sets and bi-induced maps is finitely cocomplete.

关 键 词：bi-induced map Lb-monomorphism Lb-epimorphism Lb-coequalizer Lbregular epimorphism 

分 类 号：O154.1[理学—数学] O159[理学—基础数学]