Completeness and cocompleteness

Finite (co)completeness criterion

A category is finitely (co)complete iff it has all finite (co)products and (co)equalizers.¹ #m/thm/cat

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