Definition talk:Homotopy

I second the suggestion that free homotopy be assigned a separate subpage. --Lord_Farin (talk) 20:26, 23 October 2012 (UTC)


 * By "free homotopy" don't you mean "relative homotopy", which I got to just before you posted that? --prime mover (talk) 20:32, 23 October 2012 (UTC)


 * No. It's awkward to have the general as a subpage of the specific in a definition. I think the page should be split so that both can be referred to independently and unambiguously. --Lord_Farin (talk) 21:45, 23 October 2012 (UTC)


 * If you know anything about this stuff you know more about it than me. Do what you think needs to be done. --prime mover (talk) 21:33, 24 October 2012 (UTC)


 * I deny being knowledgeable - I'm just taking a course on it now, that's all. I just commented on the site-structural side, for which it sufficed to notice that the subpage currently holds a more general (and conceptually different) definition than the main page. That's all; I'll fix the subpage. --Lord_Farin (talk) 21:35, 24 October 2012 (UTC)
 * Done. --Lord_Farin (talk) 21:47, 24 October 2012 (UTC)