Categories in ET-PP