The abelian group objects in any elementary topos form an abelian category, see P.T. Johnstone's "Topos TheoryTheory", Theorem 8.11 (page 259).
|
2 | deleted 96 characters in body | ||
|
|
||||
|
|
1 |
|
||
|
The abelian group objects in any elementary topos form an abelian category, see P.T. Johnstone's Topos Theory, Theorem 8.11 (page 259). |
||||
