Implication Details

Assumptions: binary coproducts, inhabited

Conclusions: sifted

Reason: The category is inhabited by assumption, and the coproduct of two objects is initial in the corresponding category of cospans.