issue_85: record type of Category