Category theory has the concept of a groupoid and this is a different concept from the use of the word groupoid to refer to a magma.
Wikipedia gives an algebraic definition of this concept of groupoid as a set with a partial binary function.
A ringoid is described as a “ring with many objects”.
What is an algebraic definition of a ringoid along the same lines as the algebraic definition of a groupoid given by Wikipedia? Is it just a ring in which the addition is only partially defined, or is the multiplication also only partially defined?
$\endgroup$ 31 Answer
$\begingroup$If you think of a ring as a monoid in the category of abelian groups, you might say a ringoid is a category in the category of abelian groups, or in the category of commutative groupoids.
Groupoids are less a product of loosening axioms as to their meaning in categories, such as in homotopy theory. This is why people don't generally study quasigroupoids. EDIT per OP EDIT: So, it's an accident that the definition of a groupoid corresponds to weakening of the closure axiom - the idea is that weakening the group operation to a partial operation, one where not all members can be multiplied, is one way of saying that, while morphisms are all invertible, not every morphism is an isomorphism. It's better to think of a groupoid as a graph where edges only come in reversing pairs.
EDIT: Hence, nLab defines a ringoid as a category enriched over the category of Abelian groups.
$\endgroup$ 3
