_модF#что скрывается за фразой "при категоризации методы унифицируются"?
Разница подходов в том, что при наследовании сначала создаются обобщенные классы (категории), а потом от них наследуются подклассы. Алтернатива - разнородные объекты обединяются в категории и для них унифицируются методы. Преимущество в том , что новую категорию можно создать в любой момент и засунуть в нее уже существующие объекты.

Это ваше личное определние категоризации или кто-то еще придерживается такой же трактовки? Есть ли ссылка на более подробное описание? Есть ли какая-то формализация такой связи в ЯП?