Мотивация

Невозможно знать заранее, как дело пойдет, какие трудности возникнут, и что получится; но, по видимости, перечисленное в предыдущем постинге подразумевает большой объем работы, не направленной ни к какой очевидной конкретной цели, и большой объем текста, который в обозримой перспективе едва ли кто-нибудь прочтет. Зачем все это?

Подобный вопрос всегда подразумевает множество альтернативных ответов. Видимо, важнейший из них состоит в том, что, как мне это представляется, мне выпала возможность увидеть то, чего не видят другие, и понять то, что иначе оставалось бы непонятым еще долго. Что реализация этого требует большой работы от меня, так это обычное дело в науке; а что то же потребуется и от тех, кто возьмется это изучать, так это обычное дело для комплекса идей такой сложности, непривычности и удаленности от мейнстримных трюизмов. Формат уже дальше диктуется свойствами самого предмета: если оказывается, что здесь нужно писать много букв, значит, здесь нужно писать много букв; выбирать-то не приходится.

Другой ответ состоит в том, что -- глядя на вещи с точки зрения специалиста по гомологической алгебре -- как ни крути, но гомологическая алгебра, которой известно понятие производной категории второго рода, вместе с сопутствующими понятиями и методами работы с ними -- стоит на ногах намного прочнее, чем гомологическая алгебра, которой эти определения неизвестны, а необходимость иметь с ними дело в конкретных ситуациях разрешается через поиск обходных путей, и каждый раз других. Как представителю поколения, в годы юности которого гомологическая алгебра (не говоря о всей гротендиковской революции в целом) еще воспринималась отчасти как чудо, а не как набор банальностей, мне естественно взять эту задачу на себя.