Steve Awodey の Category Theory を読む シリーズトップ 4.1 Groups in a category Corollary 4.6 4.2 The category of groups is an equivalence relation Corollary 4.11 Cokernels are special coequalizers 4.3 Groups as categories composition of the congruence category is well-defined is a congruence Theorem 4.13 4.4 Finitely presented categories smallest congruence 参考書籍 4.1 Groups in a category Corollary 4.6 任意の が a
![Steve Awodey の Category Theory を読む : Chapter 4 - 俺の Colimit を越えてゆけ](https://cdn-ak-scissors.b.st-hatena.com/image/square/8e2e4e3610d372a075af9e39310a1f72cec6f52d/height=288;version=1;width=512/http%3A%2F%2Fecx.images-amazon.com%2Fimages%2FI%2F41pAXg0Mh8L.jpg)