An essentially gaunt category is a category satisfying one of the following equivalent conditions:
It is equivalent to a gaunt category (a category in which every isomorphism is an identity).
Every automorphism is an identity.
Its groupoid core is thin.
Parallel isomorphisms are equal.
The term was suggested by:
It has since appeared in the published literature, e.g.:
Essentially gaunt categories are called core-thin in:
Last revised on August 12, 2026 at 11:17:19. See the history of this page for a list of all contributions to it.