Categories in Uici