revert to category/groupoid rather than is_category/is_groupoid for now