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

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.

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

simple past tense and past participle of embed

plural of embedment

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

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

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