2
$\begingroup$

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?

  • 3
    These are called gaunt categories.2012-12-11

1 Answers 1

4

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.)