TY - RPRT TI - Covering morphisms of internal groupoids in the models of a semi-abelian theory AU - Osman Mucuk AU - Serap Demir PY - 2018 UR - https://arxiv.org/abs/1801.08903 ID - 1801.08903 ER -