Skeletal category

Skeleton category

Let be a category. A skeleton is a skeletal subcategory whose inclusion functor makes it equivalent to . cat Thus, an object in is a representative of an isomorphism class in . While this construction is not generally unique, the precise selection of representatives usually doesn’t matter.

Properies

• Categories are equivalent iff they have isomorphic skeleta

Examples

• Category of natural numbers is a skeleton of Category of finite sets

---

tidy | en | sembr