查看“︁群胚”︁的源代码

{{InfoBox
|name=群胚
|eng_name=groupoid
|aliases=广群,广义群
}}
'''群胚'''('''groupoid''')是[[群]]的推广，指[[范畴]]中全部态射都是[[同构（态射）|同构]]，或者说全部态射都[[可逆]]的范畴。

== 定义 ==

=== 范畴论定义 ===

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


{{范畴论}}