Categories in Rudolph