Ω-群范畴的等价刻画.pdfVIP

2】【卷第 2j9】 模 糊 系 统 与 数 学 Vo1．29，No．2 2Ol5 4Jj FuzzySystemsandMathematics Apr．，2O15 文章编号 ：1001—7402(2015)02—0039—06 一 群范畴的等价刻画 苑呈涛，汤建钢 (fJ}犁帅范 院 数学 j统计学院，新疆 伊宁 835000) 摘 要：引入 由n一集范畴上的群对象所构成的范畴Grp(．5 f(力))，证明了此范畴与n一群范畴是同构 的 。 关键词 ：n一群范畴；力一集范畴；群对象 中图分类号 ：O154 文献标识码 ：A 1 引言及预备知识 群对象可以理解为将群这种结构建立在其他结构上 ，不 同范畴上的群对象有不同的表示 ，例如集 合范畴上的群对象表示一个群而拓扑空间范畴上的群对象表示一个拓扑群。本文引人 一集范畴上的 群对象的概念 ，讨论 力一集范畴上 的群对象所构成 的范畴与 一群范畴之间的关系 ，证 明了这两个范畴 是同构的。 本文用 表示集合范畴， ·表示单点集，即集合范畴的终对象，用 户表示群范畴， 表示一 个 Locale，即完备的Heyting代数 ，1表示 中的最大值 。 设 ，B， ∈o6()，AIIB是A和 B的乘积 ，如果有态射 厂：x— ，厂2：x—B，则有下面图表交换 ： A B Pl P2 本文把 厂记作 3(f。，f2)。 定义 1．1… 设 是一个具有有限乘积 的范畴，丁是范畴 的终对象 。 (1) 中的一个群对象 G一 (c，，rl,)是一个 四元组，其中C是范畴 中的一个对象， ，，是 范畴 中的态射， ：CIIC~C，：71一c和 ：(一c，使得下面的图表交换 ： 收稿 日期 ：2013—12—26；修订 日期 ：2015—01—18 基金项目：国家 自然科学基金资助项 目31424020)；新疆 维吾尔 自治 区普通高等学校重点学科经费资助项 目 (2012ZDXK01) 作者简介 ：苑呈涛 (1987一)，男 ，伊犁师范学 院数学与统计学 院研 究生 ，研究方 向：范畴逻辑与类型理论 ；汤建钢 (通讯作者) (1959一)，男 ，伊犁师范学 院数学与统计学 院教授 ，研究方 向：范畴逻辑与类型理论 。 40 模 糊 系 统 与 数 学 2015矩 C IIC H C H C C H C ——百—_÷ C TH C C H C C IIT — — — 一 — — — 5(id l l c，e)l l 5(~,idc)l 』 C ⅡC 一 C C IIC 一 C (2)设 G一(C，／1，j7，)，G 一 (C ，／1， ，)是范畴 中的两个群对象 。一个内部群同态 ：G—G是 中一个态射 ：c—c使得下面图表交换 ： C IIC 竺 C T — + C C C ，l J 川 』 C C|—-— C| C