Deconstructibility and accessibility

[posic]

В общем, люди здесь в Праге (и не только) много писали про деконструируемость (deconstructibility) на основе леммы Хилла 1981 года про абелевы группы. А я теперь пишу про доступность (accessibility) на основе теоремы Ульмера 1977 года про локально представимые (на самом деле, доступные) категории. Разница в том, что Хилл опубликовал свою работу в виде заметки в солидном журнале Proceedings AMS. Она, как пишут, использовалась в теории абелевых групп, а потом была подхвачена в теории модулей над кольцами и категорий Гротендика. Ульмер же написал длиннющий препринт и не опубликовал его, и похоже, что работа его была долгое время совершенно забыта специалистами по теории категорий, и оставалась полузабытой, пока я не переоткрыл его теорему. Теперь, конечно, по долгу переоткрывателя нужно развивать тему.