嵌入的例子：
GNS构造，将抽象C*代数嵌入B(H)
Whitney嵌入/Nash嵌入，将抽象流形嵌入R^N
Freyd-Mitchell定理，将Abel范畴嵌入Mod范畴.
嵌入的优势：
1，抽象结构嵌入具体结构。抽象对象是用性质定义出的，没有构造，因而没有内部结构.抽象嵌入具体，从而可以谈论具体对象的内部结构，是抽象和具体的纽带.
2，嵌入具体对象后，可以继承具体对象的额外结构.(如黎曼度量) 由于嵌入方式不同，所继承的结构可能产生非典范的问题.
嵌入的思维方式模仿：
1有一个例子x，抽象为一类对象y，总可以问：是否对于任意抽象对象y，存在足够大的具体对象x，使得y嵌入x？
2有一类对象y，找一个最典范的例子x，去问：是否对于任意抽象对象y，存在足够大的具体对象x，使得y嵌入x？
总结上述思维方式时的思维方式：
起初我只想到了第一条，即先有例子，再把它抽象。但是，随即想到在实践中未必遵循这种逻辑顺序，需要所谓的逆向思维。但这又并不是真正的逆向，因为具体到抽象 和 抽象到具体，并不存在哪个是顺哪个是逆，这二者是同等地位的东西。因而第二条应运而生。换句话说，我们不应该假设出发点是具体的东西或是抽象的东西，应该同时考虑手头问题的抽象化和具体化。这样就不会遗漏可能的思考方向。
