Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
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.
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.)
Clarified the idea section, and removed the duplicate properties of univalent categories (the reader can just look those up on univalent category).
A better word for “endoisomorphism” is automorphism.
Nope, that’s wrong. Discrete categories are gaunt, and any surjection of sets between discrete categories is essentially surjective, but for it to be split essentially surjective is exactly AC.
1 to 14 of 14