Categories in Amos, QC, PI-PP