“…Under the assumption that the category C satisfy the extension property for cofibrations, which has been verified for R f (X) and R f (X, Σ n , {all}) in lemma 3.16 part 2, one may identify the iterated G • -construction G n • C with Exact(Γ(−) n , C) according to lemma 3.16, part 1. Using the adjointness relation, or diagonals, we have • : F → Cat ∆ op following the recipe in [5]. Thus, on objects x ∈ Ob(F + ) and A ∈ ∆, put G x A C := Exact(Γ(A) x , C).…”