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.

### Like this:

Like Loading...