О Галуа-соответствии между неявными операциями и категориями универсальных алгебр