arXiv 2018-01-26 EN Covering morphisms of internal groupoids in the models of a semi-abelian theory Mucuk, Osman · Demir, Serap
