0MUL Lemma 3.5 ([15], Lemma 2.8). Suppose S is a compact object of a triangulated category ๐ฏ and we have a sequence of objects and morphisms of ๐ฏ: X0โX1โX2โX3โโฏ then colimโข(Homโข(S,Xn))โ Homโข(S,hocolimโขXn).