Categories in Assumption, AB, TI-TZ