Конгруэнции, факторгруппоиды и гомоморфизмы