Skeletal category

Skeleton category

Let be a category. A skeleton is a skeletal subcategory whose inclusion functor makes it equivalent to . #m/def/cat/evil 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.

Properties

• Categories are equivalent iff they have isomorphic skeleta

Examples

• is a skeleton of

#state/tidy | #lang/en | #SemBr