noun
injection; monomorphism
Mathematical term for a one-to-one function or a monomorphism in category theory. Used in set theory, algebra, and related fields.
写像 f: X → Y が単射であるとは、異なる元が異なる像を持つことをいう。
A map f: X → Y is an injection if distinct elements have distinct images.
単射準同型は代数構造を保つ埋め込みを与える。
An injective homomorphism gives an embedding that preserves the algebraic structure.