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).

nLab > Latest Changes: coherent category

Bottom of Page

1 to 7 of 7

  1.  
    • 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

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

    Anonymous

    diff, v31, current

1 to 7 of 7

  1.