categories in lexicographic order