Categories in Valliant