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

One who, or that which, embeds. / A tool for embedding wire into a surface.

plural of embedder

That can be embedded.

plural of embedding

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

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