Categories in Authier, QC, PI-PP