Без заголовка

Ну да, результаты появляются редко: http://en.wikipedia.org/wiki/Timeline_of_category_theory_and_related_mathematics Насчет "переоценки теории", так это существенно зависит от нотации. Если теория "по сути" новая, то и нотация должна быть новая. Когда эта новая нотация появится, в этот момент и появится прорыв. Проблема в том, что это теория для всяких "мета". А в области "мета" и в гораздо более богатом на нотации программировании ничего достойного еще не придумали.