Let
be an object
with a family of generators
in a
-category.
Then, the finitely generated subobjects of
form a direct family of subobjects in
the
-category whose direct limit
is
.
As of this snapshot date, this entry was owned by bci1.