Implication Details

Assumptions: finitely cocomplete

Conclusions: filtered

Reason: Every finite diagram even admits a universal cocone.