Accelerating the pace of engineering and science
Category of Abelian groups
Cat::AbelianGroup represents the category
of Abelian groups.
A Cat::AbelianGroup is an Abelian monoid
with cancellation law where the operation + is
Join the conversation