Re: из классики

Категорификация -- это что?! Там ведь просто объекты и стрелочки... Ну, еще функторы. Т.е. вам нужно сначало перевести "иерархию" (чего? классов или классов-классов? ведь по ним разные отношения -- по первым специализация, по вторым классификация) в теоркатегорные термины, а потом перезадать свой вопрос. Но я точно на него не отвечу. Я про иерархии еще понимаю, и много чего могу рассказать, а вот про теорию категорий -- даже не дилетант :)