Talk:Homotopy extension property

From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject Mathematics (Rated Start-class, Mid-importance)
WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
Start Class
Mid Importance
 Field:  Topology


Definition is somewhat awkward, but this is the best way to phrase it. Also someone should make algebraic-topology stub type. 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)