Answer by Kevin Arlin for Is the category with one object and its identity...
This category is not unique, but it is unique up to isomorphism. So this definition is ambiguous in the same totally harmless sense as saying “the trivial group is the group with one element.” Indeed,...
View ArticleIs the category with one object and its identity morphism unique?
According to Awodey's Category Theory, the category $\mathbf{1}$ is defined as the category having one object and only the identity arrow. Is this definition supposed to describe a unique mathematical...
View Article