milk_drinker_0x45's definitions

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 2, 2023