reference: normal categorical subgroup?