Plongement

Une application injective préservant la structure d'un objet vers un autre qui identifie la source comme un sous‑objet du but tout en préservant la structure pertinente (souvent réalisée comme un morphisme injectif avec des propriétés de réflexion supplémentaires).