small coproducts and coequalizer and cocomplete category

1. Proposition

Let \(\mathcal{C}\) be a category.

TFAE:

  1. \(\mathcal{C}\) is cocomplete
  2. there exists small coproducts and coequalizer in \(\mathcal{C}\)

2. Proof

Date: nil

Author: Anton Zakrewski

Created: 2024-10-13 So 18:40