Co-contra correspondence for D-modules and Ω-modules
Восьмая версия, под новым названием -- http://arxiv.org/abs/2504.18460

Первая версия, от конца апреля, на 92 страницы, содержала доказательство одной эквивалентности категорий. Восьмая версия, от начала августа, на 255 страниц, содержит доказательства двух эквивалентностей категорий.