5 Jun
2003
5 Jun
'03
2:49 p.m.
To all category theorists, I'm looking for a reference to the definition of a normal categorical subgroup, i.e. the right kind of subgroupoid of a categorical group for taking the quotient. I know the definition, but I have no reference. Does anyone know a published origin of the definition? Best wishes, Marco Mackaay