Categories in Estérel, QC, TI-TZ