Categories in Mercier, QC, PI-PP