It may be argued whether "Categories" is a suitable name for what has been defined so far. We're open to other suggestions.