## On the Trivial Many Sorted Algebras and Many Sorted Congruences

by
Artur Kornilowicz

### BibTeX

@MISC{Kornilowicz_onthe,

author = {Artur Kornilowicz},

title = {On the Trivial Many Sorted Algebras and Many Sorted Congruences},

year = {}

}

### OpenURL

### Abstract

This paper contains properties of many sorted functions between two many sorted sets. Other theorems describe trivial many sorted algebras. In the last section there are theorems about many sorted congruences, which are defined on many sorted algebras. I have also proved facts about natural epimorphism