split monomorphism

Noun

(category theory) A morphism which has a left inverse.

Japanese Meaning

圏論において、ある射が左側の逆射（左逆元）を持つ場合、その射を指す。すなわち、射 f に対して、ある射 g が存在し、g ∘ f が恒等射となるような場合を意味する。

In the category, the inclusion map i: A → B is a split monomorphism, so there exists a morphism r: B → A with r ∘ i = id_A.

この圏では包含写像 i: A → B は左逆を持つ単射であり、したがって r ∘ i = id_A を満たす射 r: B → A が存在します。

Sense（1）

(category theory) A morphism which has a left inverse.

split monomorphisms

（ plural ）