Update: итак, Д.Б.-Ц. утверждает, что в вопросе о производной категории пучков на стеке, если смотреть на него с точки зрения бесконечность-спуска, возникает производная (а не копроизводная) категория комодулей (в случае представлений алгебраической группы).