「等化子」の版間の差分

任意の圏において任意の等化子が[[モノ射|単型射]]（圏論的単射）であることが示せる。この逆が与えられた圏において成り立つならば、その圏は（単型射の意味において）'''正則''' (''regular'') であるという。より一般に、任意の圏における{{仮リンク|正則単型射|en|regular monomorphism}}とは、適当な射集合の等化子と一致するような任意の射 {{mvar|m}} のことを言う。より狭義に、二項の等化子（つまりちょうど二つの射の等化子）に限って正則と呼ぶ文献もあるが、考えている圏が{{仮リンク|完備圏|en|完備}}ならば両者の定義は一致する。

 

 

ファイバー積 (引き戻し) と積を持つ任意の圏は等化子を持つ。