Categories in Spicewood