semimodul kiri dan semimodul kanan atas sehingga memenuhi ( ) ( )
untuk setiap dan . Pada semialjabar atas dapat didefinisikan
suatu kongruensi. Kongruensi pada semialjabar atas merupakan kongruensi
pada hemiring yang bersifat compatible kiri dan compatible kanan untuk setiap
pergandaan oleh elemen . Oleh karena itu, sifat-sifat kongruensi pada hemiring
Kata kunci : hemiring, semialjabar atas , kongruensi.
Category theory is a basic concept which consists of a collection of objects and
the mapping (arrow), where the arrows is called morphism that meet certain