Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorjesuslop
   • CommentTimeMay 1st 2016
   • PermaLink
   Author: jesuslop
   Format: MarkdownItexGreets, I think I have spot a typo in [Lift](https://ncatlab.org/nlab/show/lift), where it says, atop, that the lift of a morphism p ...is a morphism $\tilde{f}: Y\to X$ such that $f = p\circ\tilde{f}$ it's probably meant ...is a morphism $\tilde{p}: Y\to X$ such that $p = f\circ\tilde{p}$. but didn't want to fiddle in the entry without confirmation.

   Greets,

   I think I have spot a typo in Lift,

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

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

   it’s probably meant

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

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

2. • CommentRowNumber2.
   • CommentAuthorTim_Porter
   • CommentTimeMay 1st 2016
   • PermaLink
   Author: Tim_Porter
   Format: MarkdownItexYou are right that there was an error. The $p$'s and $f$'s got muddled up. (Note $p$ is more often the `epimorphism' as in `projection'.) Thanks.

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