Internal coproduct of Abelian groups in an elementary topos. (English) Zbl 0477.18008


18D35 Structured objects in a category (MSC2010)
18B25 Topoi
03G30 Categorical logic, topoi
Full Text: DOI


[1] Acuña-Otega O., Springer Lecture Notes in Math. 753 pp 80– (1979)
[2] Babakhanian A., Cohomological Methods in Group Theory (1972) · Zbl 0256.20068
[3] Boileau A., Thèse de Philosophiae Doctor (1975)
[4] Boileau A., J. Symbolic Logic 46 pp 6– (1981) · Zbl 0544.03035
[5] Coste, M. Logique d’ordre supérieur dans les topos élémentaires. Séminaire Bénabou. Université Paris-Nord.
[6] Fourman M.P., Handbook of Mathematical Logic pp 1053– (1977)
[7] Harting, R. Lokal injektive abelsche Gruppen und internes Coprodukt abelscher Gruppen. Seminar-berichte Fernuniv. Vol. 7, pp.121–130. Hagen.
[8] Harting R., Injektive abelsche Gruppen in elementaren Topoi (1981)
[9] Johnstone P.T., Topos Theory (1977)
[10] Johnstone P.T., Springer Lecture Notes in Math. 661 pp 141– (1978)
[11] Lambek J., J. Pure Appl. 19 pp 215– (1980) · Zbl 0452.03049
[12] Lesaffre B., Sructure algébriques dans les topos élémentaires 277 (1973)
[13] Schubert H., Categories (1972) · Zbl 0253.18002
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.