К (пред)предыдущему
Собственно, что изменилось? Все базовые концепции уже существовали пять лет назад. Были копроизводные категории, контрамодули, ко-контра соответствие, контрагерентные копучки, очень плоская гипотеза.

Новый мир был уже открыт; существование пропущенной классиками половины алгебры продемонстрировано. Просто этот новый мир был очень пустынной местностью. За пять лет в нем обнаружилась разная жизнь.

Где был плоский фундамент, появилась более объемная картинка. Мясо наросло на костях.