Categories in Assumption, AB, PI-PP