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.
added to coherent category a brief section Subobjects, slices and internal logic.
Since long Mike had a query-box in the definition at coherent category, questioning the clause that a geometric category be well-powered. Indeed, at geometric category this clause does not appear.
So we need to do something to at least one of the two entries.
I have removed this clause from coherent category, with a note that it is sometimes included, inviting the reader to peruse geometric category if they want to learn about the issue.
Added a short list of examples to parallel the list at regular category, though there are many fewer in the coherent case.
1 to 5 of 5