Categories in Portola