Suppose is an abelian category and is a subcategory which is also abelian. Is a sub-(abelian category) of ?
A ring is noetherian iff the category of finitely generated -modules is a full abelian subcategory of the category of all -modules.
Let be a category. An object is small or compact if the representable functor preserves filtered colimits: Notice that for any diagram there is always a natural arrow . The colimit is preserved if this arrow is an isomorphism.
To get used to this definition prove that the compact objects in the category of sets are the finite sets. If you like algebra you can try to characterize the compact objects the category of modules over some ring. In the vein of the following problems you can try to characterize the compact objects in the category of (linear) functors . Finally, if you like topology you can study the relationship of categorical compactness and topological compactness. For example see what happens in the category of CW-complexes and cellular maps.
Now to the probems.
Problem 1: Let be a category and take . Show that the representable functors are compact objects in .
Problem 2: Show that finite colimits of compact objects are compact.
This implies that finite colimits of representable functors are compact. Well, there’s more:
Problem 3: In the setting of Problem 1 show that an object is compact if and only if it is a finite colimit of representable functors.