Addition of categories

Addition of categories and first categorization of groups.