Skeleton category

Let $𝖢$ be a category. A skeleton $S k 𝖢$ is a skeletal subcategory whose inclusion functor makes it equivalent to $𝖢$ . #m/def/cat/evil Thus, an object in $S k 𝖢$ is a representative of an isomorphism class in $𝖢$ . While this construction is not generally unique, the precise selection of representatives usually doesn't matter.