Categories in High Level, AB, A-AN