English Dictionary

epimorphism

名詞

(category theory) A morphism p such that for any other pair of morphisms f and g, if f∘p=g∘p, then f = g.

日本語の意味

圏論において、任意の射 f および g に対して、f∘p = g∘p ならば f = g となる射（morphism）を指す。

If p is an epimorphism in a category, then whenever two morphisms f and g satisfy f∘p = g∘p, it follows that f = g.

p がある圏で右取消し性（すなわち任意の射 f と g について f∘p = g∘p ならば f = g となる性質）を持つ射であれば、f∘p = g∘p のとき常に f = g が成り立ちます。

意味（1）

(category theory) A morphism p such that for any other pair of morphisms f and g, if f∘p=g∘p, then f = g.

epimorphisms （ plural ）