Function kernels and divisible groupoids

In this paper, we introduce the notion of a function kernel which was motivated from the kernel in group theory, and we apply this notion to several algebraic structures, e.g., groups, groupoids, $BCK$-algebras, semigroups, leftoids. Using the notions of left and right cosets in groupoids, we investigate some relations with function kernels. Moreover, the notion of an idenfunction in groupoids is introduced, which is a generalization of an identity axiom in algebras by functions, and we discuss it with function kernels.