Definition talk:Embedding (Topology)

What's the context of this? Topology, presumably? Does it have anything to do with the Embedding Theorem? I suspect not, and it's just another case where abstract algebra and topology just happen to have developed parallel definitions. --prime mover (talk) 18:00, 10 April 2009 (UTC)

In so many of those kinds of cases, the parallel definitions are equivalent when discussing Lie groups with manifold structure. I'm not familiar enough with the subject of Lie groups to make a guess as to any equivalency here, but I wouldn't be surprised if an embedding of a manifold into another corresponded to an embedding of the associated Lie group into the other. Zelmerszoetrop 19:31, 10 April 2009 (UTC)

At my rate of mathematical development, I may get as far as Lie groups in about 2020 ... --prime mover (talk) 19:46, 10 April 2009 (UTC)

Expansion template

I could understand wanting to split this into two definitions, and perhaps add a better explanation, but I don't think there's anything in the template that's not already in the definition. $f$ can only be considered a homeomorphism by restricting its codomain, as is done already. --Dfeuer (talk) 11:34, 24 January 2013 (UTC)