Categories in O'Leary, PE, PI-PP