Categories in High Level, AB, T-TH