Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
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?
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.
Ok, have done that, but no doubt there’s a better arrangement at lift.
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”.
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.
1 to 5 of 5