A cocomplete Abelian category is if and only if the direct limit of every direct family of subobjects of an object is equal to .
As of this snapshot date, this entry was owned by bci1.