On the Trivial Many Sorted Algebras and Many Sorted Congruences

by Artur Kornilowicz