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

n-Forum: Codomain fibration is a stack--reference request (want a proof)

Bottom of Page

1 to 4 of 4

  1.  
    • CommentRowNumber1.
    • CommentAuthorYimingXu
    • CommentTimeApr 8th 2023
    • (edited Apr 8th 2023)

    I a searching a proof for the fact(s) claimed in this post: https://nforum.ncatlab.org/discussion/560/codomain-stacks/

    Is there a proof on the condition for a self-indexing to be a stack? I would like a reference. If there is not, some particular cases or proofs with similar ideas would also be appreciated.

    Thanks!

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeApr 8th 2023
    • (edited Apr 8th 2023)

    It looks like those nLab edits originate from discussion at MO:q/9636, where some relevant details were spelled out in the last part of the reply by Anton Geraschenko: MO:a/9663.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeApr 8th 2023

    The proof of “descent for sheaves” highlighted in MO:a/9663 is spelled out in:

    • CommentRowNumber4.
    • CommentAuthorYimingXu
    • CommentTimeApr 8th 2023

    Thank you very much! I will have a look to the links above.

1 to 4 of 4

  1.