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.
    • CommentAuthorzskoda
    • CommentTimeOct 7th 2010
    • (edited Oct 7th 2010)

    In discrete fibration I added a new section on the Street’s definition of a discrete fibration from AA to BB, that is the version for spans of internal categories. I do not really understand this added definition, so if somebody has comments or further clarifications…

    • CommentRowNumber2.
    • CommentAuthorMike Shulman
    • CommentTimeOct 7th 2010

    The extra condition just means that the actions of A and B on the fibers of C commute with each other up to isomorphism.

    • CommentRowNumber3.
    • CommentAuthorzskoda
    • CommentTimeOct 7th 2010
    Oh, right, this makes full sense now. Thanks.
    • CommentRowNumber4.
    • CommentAuthorDavidCarchedi
    • CommentTimeApr 9th 2013

    I changed the commutative diagram for discrete fibration. The previous one was for a discrete opfibration. (I changed d 0d_0 do d 1d_1).

    • CommentRowNumber5.
    • CommentAuthorDavidCarchedi
    • CommentTimeApr 26th 2013

    I went and undid that, since it should be d 0d_0. Sorry- was mixing up d 0d_0 and d 1d_1 in my head, thinking d 1d_1 was “target”.

    • CommentRowNumber6.
    • CommentAuthorTim_Porter
    • CommentTimeApr 27th 2013

    David. been there done that, perhaps someone should produce a T-shirt! ;-)

    • CommentRowNumber7.
    • CommentAuthorTim_Porter
    • CommentTimeJul 21st 2020

    The name was duplicated as a heading. I changed this to ‘Contents’ as in other entries.

    diff, v16, current

  1. Using “maps to” instead of “assigns to”. The ambiguity of the latter may have confused some reader in revision 14.


    diff, v20, current

    • CommentRowNumber9.
    • CommentAuthorvarkor
    • CommentTimeSep 22nd 2022

    Mention the relationship between representable presheaves and slice categories.

    diff, v25, current

    • CommentRowNumber10.
    • CommentAuthorBryceClarke
    • CommentTimeMay 1st 2023

    Added publication data for the reference Categorical notions of fibration.

    I think this page could probably benefit from many more references; if I remember, I will return to add some more.

    diff, v26, current

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeMay 1st 2023

    Thanks for adding references!

    I am copying every reference also to all its author-pages, now for example here.

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeMay 7th 2023

    added pointer to:

    diff, v28, current

    • CommentRowNumber13.
    • CommentAuthorBryceClarke
    • CommentTimeMay 8th 2023

    Added property that that discrete opfibrations are the right class of the comprehensive factorisation system.

    diff, v29, current