余等化子

圏論における余等化子（よとうかし、）は同値関係による商の、任意の圏における対象に対する一般化である。余等化子は等化子の双対となる圏論的構成である。

定義余等化子は二つの対象と二つの平行射からなる図式の余極限である。より明示的に書けば、余等化子は対象と射でを満たすものの組として定義することができる。さらに言えば、対は、同じ性質を持つ別の対が与えられたとき、以下の図式

を可換とする射が一意に存在するという意味での普遍性を持たなければならない。全ての普遍構成がそうである通り、余等化子は存在すれば同型を除いて一意である（それがゆえに、与えられた平行射の単に (the) 余等化子と呼ぶことに混乱の虞は無い）。

余等化子が任意の圏において全型射であることを示すことができる。

例集合の圏において、二つの写像の余等化子は、を満たす最小の同値関係によるの商である。特にが集合上の同値関係で、その各成分への射影を取れば、の余等化子は商集合にちょうど一致する。群の圏における余等化子も非常によく似ている。が二つの群準同型とすれば、それらの余等化子は集合ので割ったの商群である。アーベル群の場合は特に単純で、余等化子は剰余群、すなわち群準同型の余核に等しい（後述）。位相空間の圏において円周対象は標準 0-単体から標準 1-単体への二つの包含射の余等化子と見ることができる。余等化子の全体は大きくなりうる。ただ一つの対象とその上の恒等射のみを持つ圏からただ二つの対象とその間の非自明な射がちょうど一つ存在する圏への函手はちょうど二つ存在する。それら二つの函手の余等化子は、自然数全体が加法に関して成すモノイドを単一対象圏と見たものに一致する。特に、このことから任意の余等化射は圏論的全射となることが分かるが、これは必ずしも集合論的全射でない。

性質任意の余等化子はエピである。トポスにおいて任意のエピ射はその核対の余等化子となる。

特別の場合零射を持つ圏において射の余核がと平行な零射との余等化子として定義できる。

前加法圏において射の和と差が意味を持つ（が実際にアーベル群を成す）。そのような圏において、二つの射の余等化子はそれらの差の余核として

で定義できる。

より強い概念として絶対余等化子 (absolute coequalizer) がある。これは任意の函手の下で不変な余等化子を言う。厳密に言えば、圏における対の絶対余等化子は、上記の通り定められる余等化子であって、更なる性質として任意の函手に対しては圏における対の余等化子となるという条件を満足する。は絶対余等化子の例である。

Źródło i licencja