群胚

群胚
术语名称	群胚
英语名称	groupoid
别名	广群, 广义群

群胚(groupoid)是群的推广，指范畴中全部态射都是同构，或者说全部态射都可逆的范畴。

定义

范畴论定义

对范畴 [math]\displaystyle{ \mathscr{C} }[/math] ，若其中任意态射都是同构，则称范畴 [math]\displaystyle{ \mathscr{C} }[/math] 是群胚(groupoid)。

范畴、态射
基本概念	范畴	态射、交换图
态射	单态射、满态射	双态射
	分裂单态射、分裂满态射（收缩、截面）	同构
泛在结构、泛性质
终端对象	始对象、终对象	零对象、零态射
泛在结构	切片范畴、余切片范畴	-
	楔、余楔·楔范畴、余楔范畴	积、余积
	锥、余锥·锥范畴、余锥范畴	极限、余极限
	-	等化子、余等化子
	-	核、余核