complete colimiting cocontinuous bicomplete cofinite paracompact coterminal cotilting coatomistic precompact