Цель моей деятельности про теоремы периодичности

доказать не математическое утверждение даже, а философский тезис: плоские модули, с точки зрения гомологической алгебры, ненамного сложнее проективных. Из этого философского тезиса предполагается вывести другой философский тезис: определение контрагерентного копучка является разумным и правильным.

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

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

Что будет после того, как я все это напишу? Книжка про контрагерентные копучки выйдет из печати. Потом еще более длинный и сложный текст про контрагерентные копучки контрамодулей будет написан и выйдет из печати. Допустим. Дальше что?

а) Через пятьдесят лет явится гений, который прочтет введения к моим работам и использует эти идеи (для доказательства гипотезы Римана или чего-то в этом роде).

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

Что больше похоже на правду -- а), б), и то, и другое, ни то, ни другое? Не дает ответа.

Почему в работах по теории категорий так много ошибок?

1. Примеров не хватает. Делаются общие утверждения без естественных примеров, без приложений. В результате у авторов недостаточно мотивации внимательно продумывать свои утверждения, простота которых обманчива, а методы доказательства однообразны и приедаются.

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