group

A group is a groupoid with a single object.

"A module over a ring is, of course, a module in the category of groups"

by milk_drinker_0x45 November 02, 2023