Special morphisms for R-Mod with R a division ring

[catdat-issue-creation]

Isomorphism = bijective homomorphism

(Regular) Monomorphism = injective homomorphism

(Regular) Epimorphism = surjective homomorphism

---

These follow from https://catdat.app/category/r-mod (of which this category is a special case)

---

This issue has been created by Ben Spitz via the submission form on https://catdat.app/category/r-mod_div

[ScriptRaccoon]

Thanks. I have added this to #58