1.Previous
3.Next

may be constructed from pullbacks and binary products (consider the pullback of (f, g) along the diagonal ?), a category is complete if and only if it has pullbacks and products.

Dually, a category is cocomplete if and only if it has coequalizers and all (small) coproducts, or, equivalently, pushouts and coproducts.

Finite completeness can be characterized

1.Previous
3.Next