Единственность оснащений для триангулированных категорий

Я расскажу о некоторых общих результатах про единственность DG-оснащений для триангулированных категорий. Как следствие мы получим такую единственность для неограниченной производной категорий квазикогерентных пучков, для триангулированных категорий совершенных комплексов и для ограниченной производных категорий когерентных пучков на квазипроективных схемах. Для проективных схем мы также докажем строгую единственность для триагулированных категорий совершенных комплексов и ограниченной производной категории когерентных пучков. Эти результаты непосредственно влекут тот факт, что любой вполне строгий функтор из этих категорий для проективных схем представляется объектом на произведении.