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 (infinity,1)-topos

Bottom of Page

1 to 3 of 3

  1.  
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeFeb 4th 2014
    • (edited Feb 4th 2014)

    stub for coherent (infinity,1)-topos, just to record the pointers to the DAGs.

    (Thanks to Marc Hoyois for pointing out the hidden proposition in DAG XIII…)

    • CommentRowNumber2.
    • CommentAuthorMarc Hoyois
    • CommentTimeFeb 4th 2014

    I added the actual definition of coherent from DAG, the fact that finitary sites give rise to coherent topoi, and the example of the Zariski site of a scheme.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeFeb 4th 2014

    Thanks! Excellent.

    I have just trivially added some more hyperlinks.

1 to 3 of 3

  1.