Abstract:
For homotopies of quasigroups, an analog of the fundamental theorem on homomorphisms does not hold in general. In this paper, we consider two approaches that allow one to obtain some analog of this theorem: the introduction of strict homotopies and the move from quasigroups to three-sorted quasigroups.