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