Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
You say the category is not the same as the category of abelian groups, which is true enough, but isn’t it equivalent to the category of pointed abelian groups, equivalently the undercategory or co-slice ? “Pointed commutative invertible semigroup” just sounds so long-winded, if “pointed abelian group” would do. Do other people use this phrase?
1 to 2 of 2