Категорический — конечное число дискретных значений. Тип номинальный означает, что между значениями нет порядка, как, например, в случае с фамилиями и цветами. Тип порядковый означает, что порядок есть, как, например, в случае с атрибутом, принимающим значения «низкий», «средний» или «высокий».
[Рон Кохави, Фостер Провост. Специальный выпуск, посвящённый применению машинного обучения и процессу обнаружения знаний. (Электронный ресурс). Режим доступа: http://ai.stanford.edu› ~ronnyk/glossary.html /, свободный.]