Catégories à High Level, AB, TI-TZ