Table of Contents - 21.50.18.5. The category of non-unital rings (alternate definition)
As an alternative to df-rngc, the "category of non-unital rings" can be
defined as extensible structure consisting of three components/slots for the
objects, morphisms and composition, according to dfrngc2.