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.
Have tried to polish up wording and typesetting of the Idea- and the Definition section. In particular, I have
rendered the big diagram with TikZ;
added missing remarks on cartesian closure for the reformulation in terms of right homotopies.
added a reference pointer to
as well as to Hatcher’s book.
But it would be nice to give something closer to original references.
added pointer to
for the terminology “h-cofibration”
hm, now I see that “h-cofibration” redirects to here but has never been mentioned here, while it has been and is mentioned at Hurewicz cofibration.
Am moving the redirect to there…
1 to 8 of 8