Facetas de la distributividad de congruencia en Goursat categorías