Crossed Semimodules and Schreier Internal Categories in the Category of Monoids

Abstract

category of groups as crossed modules is well known (see, e.g., [1]). There exist the same descriptions of internal categories in Rings, Lie algebras, etc. One can find different descriptions (not as crossed modules) of internal categories and groupoids in