Categories in Walnut