Lemma 4.18.5. Let \mathcal{C} be a category. The following are equivalent:
Connected finite colimits exist in \mathcal{C}.
Coequalizers and pushouts exist in \mathcal{C}.
Lemma 4.18.5. Let \mathcal{C} be a category. The following are equivalent:
Connected finite colimits exist in \mathcal{C}.
Coequalizers and pushouts exist in \mathcal{C}.
Proof. Omitted. Hint: This is dual to Lemma 4.18.2. \square
Comments (0)
There are also: