Ordered semigroups and ideal categories of principal ideal rings

In this paper, we view the collection of ideals of a commutative principal ideal ring from two perspectives: one as an ordered semigroup I® and the other as a category I_R . It is shown that I® is a regular ordered semigroup whereas I_R is a category with subobjects. Further we establish the correspondence between these structure