|
A subcategory
 of a category
 is said to be skeletal, or a skeleton of
 if
Equivalently, a subcategory
 of
 is a skeleton of
 if it is a isomorphism-dense full subcategory such that no two of its objects are isomorphic.
For example, in the category of sets, objects are isomorphic if and only if they have the same cardinality. So a skeleton of the category of sets could include as objects a unique set from each class of sets of the same cardinality, for each cardinality. If this is done, then any two objects in the skeleton have different cardinalities, so are not isomorphic.
Remark. From the example above, we see that there may be more than one skeleton in any given category. However, as natural equivalence is an equivalence relation on the class of subcategories of a category, any two skeletons are naturally equivalent, since they are both naturally equivalent to the original category. Therefore, we may think of a skeleton as uniquely defined by the category, and this uniqueness is understood to be up to natural equivalence. In summary, any two skeletons of a category are isomorphic.
We may manufacture a skeleton out of a given small category. Let
 be a (small) category and
 be the set of objects in
 . Define  on
 by  iff  is isomorphic to  . Then it is easily checked that  is an equivalence relation on
 . Let
 be the category consisting of, as objects, one object from each equivalence class under  for each equivalence class. This is permitted by the axiom of choice. As morphisms of
 , we grab all the
 -morphisms between  and  for any two
 . It is not hard to verify that
 is indeed a skeleton of
 .
In general, however, a category may not have skeletons, and even if it does, its skeleton may not be small. A category with a small skeleton is called an essentially small or skeletally small category.
|
