Start a new discussion

Not signed in

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

Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorDavid_Corfield
• CommentTimeJan 13th 2016

Started lift.

weak factorization system has redirects from: lifting property, right lifting property, left lifting property, lifting problem, lifting problems.

Would it be better to have these redirect to lift?

• CommentRowNumber2.
• CommentAuthorUrs
• CommentTimeJan 13th 2016

Thanks. True, the entire paragraph “Preliminaries” would deserve to have a dedicated entry. You could copy that over to “lift” and redirect the redirects accordingly.

• CommentRowNumber3.
• CommentAuthorDavid_Corfield
• CommentTimeJan 14th 2016

Ok, have done that, but no doubt there’s a better arrangement at lift.

• CommentRowNumber4.
• CommentAuthorJohn Baez
• CommentTimeDec 5th 2018

The lift of a morphism $f: Y\to B$ along an epimorphism (or more general map) $p:X\to B$ is a morphism $\tilde{f}: Y\to X$ such that $f = p\circ\tilde{f}$.

I changed “the” here to “a”.

• CommentRowNumber5.
• CommentAuthorDavid_Corfield
• CommentTimeDec 6th 2018
• (edited Dec 6th 2018)

Looking at extension where it has dually

The extension of a morphism…

it doesn’t seem so clearly wrong. I guess there’s ambiguity between ’extension’ as the act of extending and as an instance of so extending, as you see in the second paragraph of lift

The dual problem is the extension of a morphism…

I’ll change ’the’ to ’a’ at extension.