Implication details

Claim: If a category is cototal and is finitary algebraic, then it has a cogenerating collection.

Proof: This is the implication (1)   ⟹  \implies (4) of Proposition 1 here, which is based on MO/515539.
Show 1 category using this implication