Talk:Homotopy extension property

From Wikipedia, the free encyclopedia
Jump to: navigation, search

Definition[edit]

Definition is somewhat awkward, but this is the best way to phrase it. Also someone should make algebraic-topology stub type. 70.152.47.105 00:26, 13 February 2006 (UTC)


Given any continuous , for which there is a homotopy of and ...

Shouldn't this be and  ? Metterklume 23:20, 16 July 2007 (UTC)


I think this should be:

Given any continuous and homotopy with , we can extend this to a homotopy with and . —Preceding unsigned comment added by Thufir Hawat (talkcontribs) 21:31, 8 January 2008 (UTC)

Agree. The two 's need to be distinguished. To keep consistency with the diagram in the visualization section, I am changing the maps to (i.e. adding the tilde). - Subh83 (talk | contribs) 22:38, 22 November 2011 (UTC)

Cofibrations are embeddings?[edit]

I don't think this is true for arbitrary spaces, does anyone have a reference? Money is tight (talk) 14:57, 26 January 2011 (UTC)