Categories in Macamic, QC, PI-PP