0NN2 Definition 7.1. Denote by Gapβ‘([n],π)\Gap([n],{\mathcal{C}}) the full subcategory of Funβ‘(Nβ‘(Arβ‘[n]),π)\mathrm{Fun}(\mathrm{N}(\Ar[n]),{\mathcal{C}}) spanned by the functors Nβ‘(Arβ‘[n])βπ\mathrm{N}(\Ar[n])\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}{\mathcal{C}} such that, for each iβIi\in I, Fβ‘(i,i)F(i,i) is a zero object of π{\mathcal{C}}, and for each i<j<ki<j<k, the square Fβ‘(i,j)\textstyle{F(i,j)\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces}Fβ‘(i,k)\textstyle{F(i,k)\ignorespaces\ignorespaces\ignorespaces\ignorespaces}Fβ‘(j,j)\textstyle{F(j,j)\ignorespaces\ignorespaces\ignorespaces\ignorespaces}Fβ‘(j,k)\textstyle{F(j,k)} is cocartesian.