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.
    • CommentAuthorjesuslop
    • CommentTimeMay 1st 2016

    Greets,

    I think I have spot a typo in Lift,

    where it says, atop, that the lift of a morphism p

    …is a morphism f˜:YX\tilde{f}: Y\to X such that f=pf˜f = p\circ\tilde{f}

    it’s probably meant

    …is a morphism p˜:YX\tilde{p}: Y\to X such that p=fp˜p = f\circ\tilde{p}.

    but didn’t want to fiddle in the entry without confirmation.

    • CommentRowNumber2.
    • CommentAuthorTim_Porter
    • CommentTimeMay 1st 2016

    You are right that there was an error. The pp’s and ff’s got muddled up. (Note pp is more often the epimorphism' as inprojection’.) Thanks.