Categories in Charlemagne, QC, PI-PP