The Plücker embedding gives a concrete realization of the Grassmannian Gr_k(V) — the space of k-dimensional subspaces of an n-dimensional vector space V — as a subvariety of a projective space by assigning to each subspace its Plücker coordinates.

The tutorial introduces shallow embedding as a technique for encoding one logic within another using a direct syntactic translation.

To ensure formal correctness we chose a deep embedding of the specification language inside the proof assistant, so each construct became explicit data we could reason about.

The clinic published a guide for clinicians on how to treat patients who engage in self-embedding, a dangerous form of self-harm involving the insertion of foreign objects into tissue or muscle.

Understanding the Yoneda embedding is essential for many constructions in category theory.

Yoneda embeddings provide a powerful way to study objects by representing them as functors into Set.

Researchers found that shallow embeddings performed well on tasks requiring minimal contextual understanding.

Researchers use deep embeddings to measure semantic similarity between sentences.

The embeddedness of local traditions in daily life gives the festival its enduring charm.

The sociologists compared the embeddednesses of different immigrant communities to understand their economic integration.