Let A be an object with a family of generatorsin a C3-category. Then, the finitely
generated subobjects of A form a direct family of subobjects in the C3-category whose direct
limitis A.
This is version 3 of -category generators corollary, born on 2010-05-09, modified 2010-05-09.
Object id is 859, canonical name is C_3CategoryGeneratorsCorollary.
Accessed 2128 times total.