Skeleton (category theory)

In mathematics, a skeleton of a category is a subcategory which, roughly speaking, does not contain any extraneous isomorphisms. In a certain sense, the skeleton of a category is the "smallest" equivalent category which captures all "categorical properties". In fact, two categories are equivalent if and only if they have isomorphic skeletons. A category is called skeletal if isomorphic objects are necessarily identical.

Definition

A skeleton of a category C is an equivalent category D in which no two distinct objects are isomorphic. It is generally considered to be a subcategory. In detail, a skeleton of C is a category D such that:

for every pair of objects d1 and d2 of D, the morphisms in D are morphisms in C, i.e.

and the identities and compositions in D are the restrictions of those in C.

Existence and uniqueness

It is a basic fact that every small category has a skeleton; more generally, every accessible category has a skeleton. (This is equivalent to the axiom of choice.) Also, although a category may have many distinct skeletons, any two skeletons are isomorphic as categories, so up to isomorphism of categories, the skeleton of a category is unique.

The importance of skeletons comes from the fact that they are (up to isomorphism of categories), canonical representatives of the equivalence classes of categories under the equivalence relation of equivalence of categories. This follows from the fact that any skeleton of a category C is equivalent to C, and that two categories are equivalent if and only if they have isomorphic skeletons.

Examples

See also

References

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.