A group is a groupoid with a single object.
"A module over a ring is, of course, a module in the category of groups"
Random
Random