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