Completeness and cocompleteness Finite (co)completeness criterion A category is finitely (co)complete iff it has all finite (co)products and (co)equalizers.1 cat Proof proof develop | en | sembr Footnotes 2010. Category theory, ¶5.21, p. 104 ↩