Wiki. 群 [群]

观念

群记录了对称性, 也即范畴中的对象的自同构.

定义