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.
I created homotopy extension property and homotopy lifting property. If somebody wonders why I made identical copy of one of them on my personal nlab part is because there I want to keep conservative page for students and here in the main nlab I expect more vigorous extensions by others. On the other hand, I would like to have under homotopy lifting property mention of various variants like "soft map" homotopy lifting property, the homotopical variant of Dold etc. all in one place.
The entry was incomplete yesterday, I had to leave before finishing. I will brush it up today and finish the proof of the proposition. Thanks for the tip.
Added entries Strøm's theorem and weakly Hausdorff space. More references at Voevodsky motive.
I gave homotopy extension property an Idea-section that starts with the transparent definition in terms of right homotopy.
1 to 5 of 5