Category theory MOC Completeness and cocompleteness A category π’ is said to be cat finitely (co)complete iff for every finite category π©, π’ has all π©-(co)limits. (co)complete iff for every small category π©, π’ has all π©-(co)limits. Properties Finite (co)completeness criterion See also Exact functor (Co)continuous functor tidy | en | SemBr