Skeletal category
= Skeletal category
A skeletal <category> has no distinct isomorphic objects. A <full and faithful functor> with <essential surjectivity> between two skeletal categories is an <isomorphism of categories>: surjectivity on isomorphism classes becomes surjectivity on objects, and faithfulness and fullness reflect an equality of image objects to an isomorphism, hence an equality, of source objects.