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.)
1 to 6 of 6