The mathematical notion of “category” in the context of markup languages raises the idea of widespread use of reliable automatic translations between markup languages. LTEX profiles, which are dialects of LTEX with a fixed command vocabulary where all macro expansions must be effective in that vocabulary, are suitable domains for defining translations to other profiles and, where sensible, to o...