Categories in Jure