Categories in Dorothy, AB, PI-PP