“…, for a non-positive ) are precisely the Milnor colimits of sequences of the form (4), where the cone of each , denoted by , is a coproduct of objects from (resp. of objects from ), for each (see the proof of [40, theorem 8.3.3] for , and [28, theorem 12.2] and [47, theorem 2] for ) (see also [57, theorem 3.7]).…”