Description: According to df-subc , the subcategories ( SubcatC ) of a
category C are subsets of the homomorphisms of C (see subcssc and subcss2 ). Therefore, the set of division ring homomorphisms is a
"subcategory" of the category of (unital) rings. (Contributed by AV, 20-Feb-2020)