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
Module and is denoted by . In the relationship between the category
with -Module arise special properties from the merger of properties owned by
the category of -Modules and -Module as an algebraic structure.
ABSTRAK