Before we proceed, it is helpful to describe fully the category \((\Delta _{\le 2})^{op}\) , in particular its morphisms. As it is a full subcategory of \(\Delta ^{op}\) , we can state the following result in terms of the characterization of \(\Delta \)  via generators and relations found in [1]} and [2]}
