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

Да я-то имел в виду простое соображение: теории внутри отрасли науки - иерархичны; если их генерализовать, переведя в теоркатегорный вид, тоже, вроде, должна получиться иерархия, но более высокого уровня. Или нет? Категорификация = генерализация? Roughly speaking, vertical categorification is a procedure in which structures are generalized from the context of set theory to category theory or from category theory to higher category theory. http://ncatlab.org/nlab/show/vertical+categorification