×

A note on semisymmetry. (English) Zbl 1405.20059

Summary: J.D.H. Smith showed how to replace homotopies between quasigroups by homomorphism between semisymmetric quasigroups. This is a semisymmetrization and it replaces a quasigroup by a semisymmetric structure defined on its Cartesian cube. The reason for a semisymmetrization is that homomorphisms behave more regularly than homotopies. A thorough survey of properties of Smith’s semisymmetrization is given in this paper. Also, new semisymmetrizations, which replace a quasigroup by semisymmetric structures defined on its Cartesian square are suggested.

MSC:

20N05 Loops, quasigroups
18A40 Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.)
18A22 Special properties of functors (faithful, full, etc.)