Quasigroupoids and weak Hopf quasigroups (Q2215792)

In the paper under review, the authors introduce the \textit{quasigroupoids}. This notion is equivalent to that of inverse loopoids given by [\textit{J. Grabowski}, Commentat. Math. Univ. Carol. 57, No. 4, 515--526 (2016; Zbl 1413.20037)]. It is a non associative version of a groupoid. On the other hand, they have introduced in a previous work the \textit{weak Hopf quasigroups} which are a kind of non associative version of a Hopf algebra. Their definition encompass weak Hopf algebras in the sense of [\textit{G. Böhm} et al., J. Algebra 221, No. 2, 385--438 (1999; Zbl 0949.16037)] and also Hopf quasigroups in the sense of [\textit{J. Klim} and \textit{S. Majid}, J. Algebra 323, No. 11, 3067--3110 (2010; Zbl 1200.81087)]. The main results obtained in the present paper state some equivalences between distinct subcategories of the \textit{weak Hopf algebras} and the \textit{quasigroupoids}. This extends an equivalence of category proved in [\textit{G. Böhm} et al., J. Algebra 399, 801--844 (2014; Zbl 1317.18011)] to a non associative setting.