Categories in Chipman, AB, PI-PP