Key points are not available for this paper at this time.
The dual basis lemma for projective semimodule over a semiring is proved. We show under which conditions the two categories cs\, mod-R and S-cs \, mod of cancellative semimodules are equivalent and how these equivalences are realized.
Deore et al. (Wed,) studied this question.