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