(logic, uncountable) The act of representing one language, typically a logic or programming language, with another by modeling expressions in the former as data in the latter.

(logic, uncountable) The act of representing one logic or language with another by providing a syntactic translation. / (logic, countable) A specific mechanism for such a syntactic translation.

plural of Yoneda embedding

plural of deep embedding

plural of shallow embedding

plural of Plücker embedding

(mathematics) A method of realizing the Grassmannian Gr_k(V) of all k-dimensional subspaces of an n-dimensional vector space V as a subvariety of a projective space.

A form of self-harm by inserting foreign objects into tissue or muscle.