A category for categories. CategoryCategory