This article is rated C-class on Wikipedia's
content assessment scale. It is of interest to the following WikiProjects: | |||||||||||
|
On 2008-11-26, Embedding was linked from Shtetl-Optimized and on 2008-11-29, which was in turn linked from Slashdot, a high-traffic website. ( Traffic) All prior and subsequent edits to the article are noted in its revision history. |
1. What do you think of removing the fist section, I never saw use of embedding for groups...? Maybe it is used I simply do not know...
2. Can anybody use TeX makeup for last section? I know nothing about comuters, so please help...
It seems that if you are going to discuss the equivalence between injective immersion and embedding in the compact case, then the definition of embedding as an injective proper immersion in the general case could be useful. Also, perhaps you could make sure the reader knows that only M needs to be compact.-- Orthografer 05:16, August 16, 2005 (UTC)
I fixed the definition of a proper embedding. Cthulhu.mythos 08:47, 2 June 2006 (UTC)
Visibly the problem remained so I fixed it. There is a confusion between the two notions of boundaries too, the general topology one (also known as frontier) and the other in topological (not necessarily differentiable) manifold (with boundaries) theory. Cenarium ( talk) 22:13, 22 December 2007 (UTC)
Happily I comment to you that abstract embedding had been accepted in PlanetMath [1], i.e. my friends there agree -- kiddo 16:19, 24 April 2007 (UTC)
I've modified this section which was poor and misleading in my opinion : the concept of embedding is much stronger than the concept of monomorphism or injectivity and may be not related. Moreover, as pointed out in the reference, there is no appropriate way to define embeddings in a purely categorical context. I see that this section has been moved to the bottom of the page, which seems to be appropriate since this is not a categorical concept. Cenarium ( talk) 19:16, 22 December 2007 (UTC)
In the "Differential topology" section of the article it is stated "When the manifold is compact, the notion of a smooth embedding is equivalent to that of an injective immersion." This is ambiguous, since there are two manifolds involved in an embedding: the domain and the codomain. In fact, if only the codomain is compact, the quoted statement is false (consider the image of the line y = sqrt(2)x in the square torus T = R2/Z2). Daqu 15:35, 4 May 2007 (UTC)
I think something should be put in about as a symbol often used for embeddings/injective maps SetaLyas ( talk) 11:28, 4 April 2008 (UTC)
I don't see why that needs to be a separate article. The notion is essentially covered here. Pcap ping 12:05, 10 August 2009 (UTC)
The article states
In the terminology of category theory, a structure-preserving map is called a morphism.
I don’t think this is correct. In a lot of mathematics texts, perhaps. But in the language of category theory I think this would be called an monomorphism or a section. I’m not a mathematician so I wanted someone to verify this instead of just changing it. Craig Pemberton ( talk) 03:35, 22 February 2018 (UTC)