Completeness and cocompleteness

Finite (co)completeness criterion

A category š–¢ is finitely (co)complete iff #m/thm/cat

  1. it has binary (co)products and (co)equalizers.
  2. it has fibre (co)products and a terminal (initial) object.
Proof

#missing/proof

#state/develop | #lang/en | #SemBr