It turns out to be most convenient, if slightly unnatural, to identify categories with their own names: expressions composed in the proper way out of the letters 'S', 'N 'C' (and whatever others we may introduce later in considering revisions of the system) together with parentheses and diagonal slashes.