English Dictionary

coequalizer

名詞

(category theory) An arrow whose domain is the codomain of a parallel pair of arrows and which forms part of the colimit of that parallel pair.

日本語の意味

（圏論）2つの平行な射（並行射）について、対象（余極）の役割を果たす射。具体的には、並行射の余極（コリミット）の一部を構成する射のこと。

Given a parallel pair f, g: A → B, a coequalizer is an arrow q: B → C whose domain is the codomain B of the pair and that forms part of their colimit.

並行な射 f,g: A → B が与えられたとき、それらの余等化子とは、対の共通終域 B を定義域とし、その対の余極を構成する射 q: B → C のことである。

意味（1）

(category theory) An arrow whose domain is the codomain of a parallel pair of arrows and which forms part of the colimit of that parallel pair.

coequalizers （ plural ）