Monomorphisms in the category of firm modules

Abstract

In this article, we consider the category of unitary right modules over an (associative) ring and the category of firm right modules over an idempotent ring. We study monomorphisms in these categories and give conditions under which morphisms are monomorphisms in the category of firm modules. We also prove that the lattice of categorically defined subobjects of a firm module is isomorphic to the lattice of unitary submodules of that module.