首页 | 本学科首页   官方微博 | 高级检索  
     检索      

双诱导映射■集合范畴的L_b-余等值子和L_b-正则满态射(英文)
引用本文:张红,汤建钢,李国华.双诱导映射■集合范畴的L_b-余等值子和L_b-正则满态射(英文)[J].数学季刊,2012(2):169-176.
作者姓名:张红  汤建钢  李国华
作者单位:College of Mathematics,Sichuan University;Department of Mathematics,Yili Normal University
基金项目: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.

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

L_b-coequalizers and L_b-regular Epimorphisms in the Category of ■-sets and Bi-induced Maps
ZHANG Hong,TANG Jian-gang,LI Guo-hua.L_b-coequalizers and L_b-regular Epimorphisms in the Category of ■-sets and Bi-induced Maps[J].Chinese Quarterly Journal of Mathematics,2012(2):169-176.
Authors:ZHANG Hong  TANG Jian-gang  LI Guo-hua
Institution:1,2(1.College of Mathematics,Sichuan University,Chengdu 610064,China;2.Department of Mathematics,Yili Normal University,Yining 835000,China)
Abstract: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.
Keywords:bi-induced map  Lb-monomorphism  Lb-epimorphism  Lb-coequalizer  Lbregular epimorphism
本文献已被 CNKI 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号