Definition. The quotient object Q of a congruence (an internal equivalence relation) E on an object X in a category C is the coequalizer Q ...
確定! 回上一頁