6.10.4. Groups

All groups are categories, for example integers, rationals, and reals under addition (or multiplication if zero is removed), invertible matrices and linear operators including stretching and rotation in n-dimensional space.