Формальность $\mathbb{P}$-объектов

В некоторых случаях триангулированная подкатегория, порождённая одним объектом, определяется градуированной алгеброй эндоморфизмов этого объекта и не зависит от объемлющей триангулированной категории. В частности, это верно для P-объекта или дерева P-объектов в DG-оснащённой триангулированной категории. Я расскажу про это, следуя статье A. Hochenegger и A. Krug "Formality of P-objects" (https://arxiv.org/pdf/1709.06434.pdf). Все необходимые определения будут даны.