小余直積とコイコライザーを持つ圏は余完備
証明
任意の小圏$ 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
https://gyazo.com/9fae8de7e98ffab0f71d51b4f9e8c987
https://gyazo.com/069f6dea6960794b6f73d718366cde49
2019/8/14