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

Вот ещё хороший пример: как подавать теорию категорий, когда никто-никто не понимает, зачем она нужна, ибо "чистая математика", без очевидных впрямую приложений -- http://ailev.livejournal.com/1015195.html?thread=10326171#t10326171 Ровно наш случай: переход на более высокий логический уровень позволяет в разы и разы упростить всё на более нижележащих уровнях, но выглядит этот переход как странный, нерациональный, имеет (много-много лет) плохую репутацию.