English Dictionary

identity morphism

名詞

(category theory) A unique morphism corresponding to each object of a category, which has its domain equal to its codomain, and which composed with any morphism (with which it is composable) gives that same morphism.

日本語の意味

圏論において、各対象に一意に対応する射であり、始域と終域が同一で、合成すると任意の射そのものを返す性質を持つ射

In any category, the identity morphism on an object acts as a neutral element for composition, leaving every composable morphism unchanged.

任意の圏において、ある対象の恒等射は合成の単位元として働き、合成可能な任意の射と合成してもその射を変えません。

意味（1）

(category theory) A unique morphism corresponding to each object of a category, which has its domain equal to its codomain, and which composed with any morphism (with which it is composable) gives that same morphism.

identity morphisms （ plural ）