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.
Contents |
Definition
A skeleton of a category C is a full, isomorphism-dense subcategory D in which no two distinct objects are isomorphic. In detail, a skeleton of C is a category D such that:
- Every object of D is an object of C.
- (Fullness) For every pair of objects d1 and d2 of D, the morphisms in D are precisely the morphisms in C, i.e.
- homD(d1,d2) = homC(d1,d2)
- For every object d of D, the D-identity on d is the C-identity on d.
- The composition law in D is the restriction of the composition law in C to the morphisms in D.
- (Isomorphic-dense) Every C-object is isomorphic to some D-object.
- No two distinct D-objects are isomorphic.
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
- The category Set of all sets has the subcategory of all cardinal numbers as a skeleton.
- The category K-Vect of all vector spaces over a fixed field K has the subcategory consisting of all powers K(n), where n is any cardinal number, as a skeleton.
- FinSet, the category of all finite sets has FinOrd, the category of all finite ordinal numbers, as a skeleton.
- The category of all well-ordered sets has the subcategory of all ordinal numbers as a skeleton.
References
- Adámek, Jiří, Herrlich, Horst, & Strecker, George E. (1990). Abstract and Concrete Categories. Originally publ. John Wiley & Sons. ISBN 0-471-60922-6 [Amazon-US | Amazon-UK]. (now free on-line edition)
- Robert Goldblatt (1984). Topoi, the Categorial Analysis of Logic (Studies in logic and the foundations of mathematics, 98). North-Holland. Reprinted 2006 by Dover Publications.
Open source encyclopedia content modification information:
This page was last modified on 6 December 2009 at 03:46.
Authorship and Review
Open source encyclopedia content provided here is not reviewed directly by MedLibrary.org. Content is sourced directly from Wikipedia and is authored by an open community of volunteers. It is not produced by or in any way affiliated with MedLibrary.org.
Usage Guidelines
This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article on "Skeleton (category theory)", which is available in its original form here:
http://en.wikipedia.org/w/index.php?title=Skeleton_(category_theory)
All material adapted used from Wikipedia is available under the terms of the GNU Free Documentation License. Wikipedia® itself is a registered trademark of the Wikimedia Foundation, Inc.