О $2$-категориях расширений

Статья по сути является иллюстрацией к общей технологии гомотопических оснащений, недавно развитой в [6]. Мы берем производную категорию абелевой категории и рассматриваем полную подкатегорию, порожденную комплексами длины 2. У нее есть естественное уточнение до 2-категории, которую мы называем “2-категорией расширений”. Однако для того, чтобы построить это уточнение, просто триангулированной структуры на производной категории недостаточно. В этой короткой заметке мы сперва строим 2-категорию оснащений руками – а именно, с помощью техники абелевых категорий – а затем показываем, как ее очень легко и естественно можно восстановить в оснащенном формализме работы [6].
Библиография: 8 названий.

абелева категория, бикатегория, расширение