The mathematical notion of “category” in the context of markup languages raises the idea of widespread use of reliable automatic translations between markup languages. LATEX profiles, which are dialects of LATEX 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 other markup languages.