The act or process by which one thing is embedded in another. / (mathematics) A map which maps a subspace (smaller structure) to the whole space (larger structure).

present participle of embed

plural of embedding

simple past tense and past participle of embed

Part of; firmly, or securely surrounded; lodged solidly into; deep-rooted. / Partially buried in concrete or planted in earth.

The act of embedding or the state of being embedded. / An embedded structure, especially a steel structure, embedded in concrete that transmits external loads to it.

plural of embedment

(category theory) An embedding of a category 𝒞 within the category of functors from 𝒞 to the category of sets. Such an embedding is effected by a Yoneda functor.

(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.