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.

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 use deep embeddings to measure semantic similarity between sentences.

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

The paper compares the different Plücker embeddings used to parametrize lines in projective space.

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

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.