gaunt category



A category is called gaunt if all its isomorphisms are in fact identities. This is really a property of strict categories; that is, it is not invariant under equivalence of categories.


Relation to complete Segal spaces

The nerve simplicial set of a category, regarded as a simplicial object in homotopy types under the inclusion SetGrpdSet \hookrightarrow \infty Grpd, is a complete Segal space precisely if the category is gaunt. More discussion of this is at Segal space – Examples – In Set.


The term “gaunt category” was apparently introduced in

in the context of a discussion of (infinity,n)-categories.

Revised on November 30, 2012 02:09:19 by Toby Bartels (