Categories in CAS