Categories in Magpie, QC, PI-PP