[论文解读] Group Objects and Internal Categories

Magnus Forrester-Barker|ArXiv.org|Dec 4, 2002

Homotopy and Cohomology in Algebraic Topology参考文献 10被引用 38

一句话总结

本文对范畴论中的群对象与内部范畴提供了阐述性介绍，证明了在群范畴（Grp）中的群对象恰好是阿贝尔群，且在Grp中的内部范畴等价于范畴范畴（Cat）中的群对象以及群的交叉模。其主要贡献是通过交换图与普遍性质，对这些代数结构进行了范畴论统一。

ABSTRACT

Algebraic structures such as monoids, groups, and categories can be formulated within a category using commutative diagrams. In many common categories these reduce to familiar cases. In particular, group objects in Grp are abelian groups, while internal categories in Grp are equivalent both to group objects in Cat and to crossed modules of groups. In this exposition we give an elementary introduction to some of the key concepts in this area.

研究动机与目标

• 为范畴论中的内部代数结构（如群对象与内部范畴）提供一种易于理解、基础入门的介绍。
• 阐明如何在具有有限积的任意范畴中，仅通过交换图来定义经典代数对象（如群、幺半群）。
• 建立在群范畴（Grp）中的内部范畴、在范畴范畴（Cat）中的群对象以及群的交叉模之间的等价性。
• 通过范畴论的图示推理，证明Grp中的群对象必然是阿贝尔群。
• 为探索内部代数结构及其与同伦理论和非交换上同调联系的研究人员提供基础参考。

提出的方法

• 通过乘法 m、单位 e 和逆元 i 的态射，在范畴 C 中定义群对象，满足结合律、单位元与逆元公理的交换图。
• 利用积的普遍性质与终对象，定义必要的态射与同构（如 G × 1 ≅ G），而无需依赖元素。
• 使用对角态射 Δ: G → G×G 以图示方式表达逆元条件，通过独立的交换图确保左逆与右逆。
• 通过定义源、目标、单位与复合态射，构造Grp中的内部范畴，使其在群范畴中满足范畴公理。
• 通过证明源映射的核构成一个正规子群，并由对象群作用于该核，建立Grp中内部范畴与交叉模之间的等价性。
• 利用半直积构造中的复合交换律验证Peiffer恒等式，从而确认交叉模结构成立。

实验结果

研究问题

• RQ1 如何仅通过范畴论语言，不依赖元素，仅利用交换图来定义群对象？
• RQ2 为何群范畴（Grp）中的群对象必然是阿贝尔群？
• RQ3 Grp中的内部范畴、Cat中的群对象以及群的交叉模之间存在何种范畴关系？
• RQ4 Grp中群对象的内部结构如何导出一个交叉模？
• RQ5 Peiffer恒等式在确保Grp中内部范畴与交叉模等价性中起什么作用？

主要发现

• 在群范畴（Grp）中的群对象恰好是阿贝尔群，因为Eckmann–Hilton论证表明乘法必须满足交换律。
• Grp中的内部范畴等价于Cat中的群对象，因为两者均对应于群的交叉模。
• 群的交叉模自然地由Grp中内部范畴的源映射的核以及对象群对该核的作用而导出。
• 当内部范畴的复合运算满足交换律时，Peiffer恒等式自动成立，从而确保交叉模公理成立。
• 在 Ker(s) ⋊ O 上构造半直积结构，其中 O 作用于 Ker(s)，通过作用映射实现了交叉模的范畴化实现。
• Grp中内部范畴与交叉模之间的等价性确认了Brown与Spencer（1970年代）的经典结果，现通过图示推理重新推导得出。