A category $\mathsf{C}$ is skeletal if it contains just one object in each isomorphism class. The skeleton $\textup{\textsf{cat}}\mathsf{C}$ of a category $\mathsf{C}$ is the unique (up to isomorphism) skeletal category that is equivalent to $\mathsf{C}$.