Catégories à Assumption, AB, TI-TZ