A category $𝐶$ is thin if there is at most one morphism between any two objects.