Not signed in (Sign In)

Not signed in

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

  • Sign in using OpenID

Discussion Tag Cloud

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

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeMar 15th 2012
    • (edited Oct 25th 2012)
    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeOct 25th 2012

    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.

    • CommentRowNumber3.
    • CommentAuthorTobyBartels
    • CommentTimeAug 21st 2015

    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.

    • CommentRowNumber4.
    • CommentAuthorMike Shulman
    • CommentTimeMay 31st 2018

    Added a short list of examples to parallel the list at regular category, though there are many fewer in the coherent case.

    diff, v28, current

    • CommentRowNumber5.
    • CommentAuthorDavidRoberts
    • CommentTimeFeb 20th 2020

    Added missing blank link causing the numbered list syntax to break

    diff, v29, current

  1. added Heyting categories as an example of a coherent category


    diff, v31, current