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.
New to topics? Read the docs here!