Categories in Cavalier