Вторая версия -- https://arxiv.org/abs/2101.10797 . Помимо добавленных многочисленных ссылок на литературу и проч., появилось Remark 9.2 про историю копроизводных категорий.