Quadratical groupoids

A groupoid is said to be quadratical if the identity (1) holds and if is a right quasigroup, i.e. for any the equation has the unique solution x. Quadratical groupoids arose originally from the geometric situation described in Example 3 below.In this paper we study abstract quadratical groupoids and certain derived algebraic structures