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.
adding links to regular hyperdoctrine, coherent hyperdoctrine, and geometric hyperdoctrine
Anonymous
1 to 7 of 7