Categories in Unicov