Structures paragraduées (groupes, anneaux, modules). II. (Paragraded structures (groups, rings, modules). II) (Q1821132): Difference between revisions

Sequel of the preceding note. Homogeneous approach: One considers homogeneous parts H of G with partial composition xy induced by G, then (H,.) is called a paragroupoid. If 3 axioms are satisfied, then (H,.) is called a quasigroupoid. The category of paragroupoids (quasigroupoids) is closed with respect to the Cartesian composition of their supports.