小余直積とコイコライザーを持つ圏は余完備
証明
任意の小圏J、函手T\colon J \to Cをとる
\operatorname{Obj}(J) , \operatorname{Arr}(J)は集合
すると、2つの小余直積を得る
\langle \coprod_{j \in \operatorname{Obj}(J)} T(j) ,\ \iota_j \rangle
\langle \coprod_{f \in \operatorname{Arr}(J)} T(\operatorname{dom}(f)), \ \iota'_f \rangle
2019/8/14