# How to characterize categories which their only isomorphisms are identities?

Consider a category whose only isomorphisms are identities. The only examples that I can think of, are categories which are freely generated by a graph. Are all such categories free in this sense?

-
These are called gaunt categories. – Zhen Lin Dec 11 '12 at 13:24

Consider the dense linear order $\mathbb{Q}$ as a category. Since it is a partially-ordered set, every isomorphism is the identity, and moreover, every endomorphism is the identity. However, it is also not the free category on any graph because every non-identity morphism can be factored in a non-trivial way. (The free category on an acyclic graph must have "irreducible" morphisms that cannot be factored further, and the free category on a non-acyclic graph would have non-trivial endomorphisms.)