Applications of Categorical Galois Theory in Universal Algebra