Диаграмма категоризации - это категорный аналог индексированного множества в теории множеств. Основное различие в том, что в категории есть морфизмы, которые тоже нужно индексировать.
Сущность может быть разделена и представлена в виде двух или более сущностей-категорий (подтипов). Каждая сущность-категория имеет общие атрибуты и отношения, которые определяются на верхнем уровне один раз, а затем наследуются на нижнем.
