6.10.2. Category of strings

The set of all strings over some character set is a category, with the single object the empty string (and the composition operation being string concatenation).

More generally, given the empty string and any finite set of strings, the set of all combinations of these strings is said to be the category generated by that set, which is called the generator set.