群胚
查看历史
分享
举报

一个范畴被称为群胚，如果它的每一个态射都是同构。

例子

1. 任意一个群都能定义一个由单对象和态射组成的群胚，其态射的复合律由群本身的运算所给定。

2. 任意一个集合都能定义一个群胚，其定义如下：对于对象我们取，然后对于态射我们取为空如果并且等于如果。