ЭФ>> Философию для этого придумали, чтобы провести различия между понятиями (и таким образом терминологию согласовать).
R3> Бессмысленная философия идёт в null.

Мне непонятно, чем классификация отличается от категоризации.

Википедия не знает, что такое "категоризация" (перенаправляет на страницу "классификация").

типизирование = приписывание типа куску памяти (точнее было бы "создание класса под схему данных", но так не бывает)
инстанциирование = выделение куска памяти для объекта указанного типа

обобщение = создание базового класса или интерфейса
наследование = порождение более специализированного типа-наследника класса или реализация интерфейса

Можно ли сказать, что типизирование/инстанциирование — это от классификации, а обобщение/наследование это от категоризации?

ЭФ>> Философию для этого придумали, чтобы провести различия между понятиями (и таким образом терминологию согласовать).
R3> Бессмысленная философия идёт в null.

Мне непонятно, чем классификация отличается от категоризации.

Википедия не знает, что такое "категоризация" (перенаправляет на страницу "классификация").

типизирование = приписывание типа куску памяти (точнее было бы "создание класса под схему данных", но так не бывает)
инстанциирование = выделение куска памяти для объекта указанного типа

обобщение = создание базового класса или интерфейса
наследование = порождение более специализированного типа-наследника класса или реализация интерфейса

Можно ли сказать, что типизирование/инстанциирование — это от классификации, а обобщение/наследование это от категоризации?

Или можно сказать, что "категория" это интерфейс (нельзя инстанциировать), а "класс" это рецепт (можно воплотить в жизнь)?