  We consider a convenient category of "quadratic" multirings, that allows
simple functorial relations with categories associated with abstract quadratic
forms theories and shares many good aspects of the theories of Special Groups
and of Realsemigroups, but tries to avoids its drawbacks.
