A symmetric approach to higher coverings in categorical Galois theory. - Fara Renaud; Tim Van der Linden (Appl. Categorical Struct., 2023)