Double Groupoids and 2-Groupoids in Regular Mal'tsev Categories. - Nadja Egner; Marino Gran (Appl. Categorical Struct., 2025)