Wiki. 对象的生象 [对象的生象]

将一个范畴中的不可逆态射去除, 仅保留可逆态射, 得到一个生象, 称为其对象的生象, 又叫核 (core), 极大子群胚 (maximal subgroupoid).