10.3969/j.issn.1005-3085.2006.02.002
对合Quantale范畴中的自由对象及其良幂性
本文首先给出了对合Quantale余核映射的概念,证明了任意子对合Quantale都是某对合Quantale余核映射的象.其次构造出了对合Quantale范畴IQuant中由集合生成的自由对合Quantale的具体结构,证明了遗忘函子U:IQuant→Set有左伴随,并给出了其左伴随函子.最后,证明了IQuant中的单态射恰为单同态,得出了对合Quantale上的余核映射与其在范畴IQuant中的子对象是一一对应的,从而证明了IQuant是良幂的.
对合Quantale、对合Quantale余核映射、自由对象、伴随函子
23
O153.1(代数、数论、组合理论)
中国科学院资助项目10471083;高等学校优秀青年教师教学科研奖励计划[2000]26
2006-05-22(万方平台首次上网日期,不代表论文的发表时间)
共9页
216-224