  This is a study of universal problems for semimodules, in particular
coequalizers, coproducts, and tensor products. Furthermore the structure theory
of semiideals of the semiring of natural numbers is extended.
