Categories in Estérel, QC, PI-PP