The category of numbered abelian groups (Q1307189)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The category of numbered abelian groups |
scientific article; zbMATH DE number 1354014
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The category of numbered abelian groups |
scientific article; zbMATH DE number 1354014 |
Statements
The category of numbered abelian groups (English)
0 references
28 October 1999
0 references
In the article under review, it is proven that the category of positively numbered abelian groups has pullbacks (= couniversal squares, in the paper) and pushouts (= universal squares, in the paper). The category of recursive (= constructive) abelian groups is proven to have pullbacks but not pushouts; however, for morphisms of a certain kind, pushouts are proven to exist.
0 references
category
0 references
universal square
0 references
couniversal square
0 references
pushout
0 references
pullback
0 references
positively numbered abelian group
0 references
constructive abelian group
0 references
recursive abelian group
0 references
0.8547720313072205
0 references
0.7113170027732849
0 references
0.6966008543968201
0 references
