За час до дедлайна

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

Новая версия на 6 страниц длиннее предыдущей и на 7 страниц длиннее той, что была послана в журнал в во второй половине мая. Она содержит новый интересный пример и исторические/терминологические замечания с новыми ссылками. Основные определения стали чуть проще и общая картина яснее, за счет улучшения некоторого технического Proposition. Кроме того, в обсуждении примеров, связанных с MGM-двойственностью и эквивалентностью Матлиса, появилось много дополнительных подробностей.

Новая версия работы содержательнее предыдущей, и понимания в ней больше, но читать ее, вероятно, труднее, чем предыдущую, если вникать в подробности, связанные с многочисленными примерами. По существу, я думаю, что прав Я.Т., говоривший мне в Праге (после трех моих докладов на эту тему), что по материалам этой работы нужно написать книгу. Нынешние "примеры" следовало бы развернуть в главы и секции с леммами и теоремами. Кроме того, можно было бы написать главу (или лучше отдельную статью?) про полную строгость функтора между контрапроизводными категориями в смысле Х.Б., по мотивам моих ЖЖ-постингов от 20-21 июня.

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