# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorMike Shulman
• CommentTimeJan 22nd 2021

Added a remark that the Elephant briefly refers to gaunt categories as “stiff”.

• CommentRowNumber2.
• CommentAuthorAlec Rhea
• CommentTimeMar 3rd 2021

Added section discussing relation to thin and skeletal categories.

• CommentRowNumber3.
• CommentAuthorUlrik
• CommentTimeMar 3rd 2021
• (edited Mar 4th 2021)

Amended the definition section with the equivalence stable definition. Add a section about univalent foundations: the gaunt categories as the intersection of the strict and the normal/univalent categories (edit: this is false).

I made a link to flagged category, which doesn’t yet exist.

• CommentRowNumber4.
• CommentAuthorUlrik
• CommentTimeMar 3rd 2021

Corrected the invariant definition.

• CommentRowNumber5.
• CommentAuthorUlrik
• CommentTimeMar 3rd 2021

Sorry, I’m confused. I’ve reverted to the previous state. After dinner, I’ll hopefully sort out my confusion, and add back in something correct.

• CommentRowNumber6.
• CommentAuthorUlrik
• CommentTimeMar 3rd 2021

Tried to make up for my earlier wrong edits by adding some content on related definitions that are invariant under equivalence. I added the remark that core-thin categories precisely make up the intersection of strict categories and (univalent) categories within the type of flagged categories. (This could perhaps belong somewhere else, however.)