add missing special morphisms to R-Mod_div

Author: ScriptRaccoon

database/data/007_special-morphisms/002_isomorphisms.sql

@@ -210,6 +210,11 @@ VALUES
 	'bijective $R$-linear maps',
 	'This characterization holds in every algebraic category.'
 ),
+(
+	'R-Mod_div',
+	'bijective $R$-linear maps',
+	'This characterization holds in every algebraic category.'
+),
 (
 	'real_interval',
 	'only the identity morphisms',

database/data/007_special-morphisms/003_monomorphisms.sql

@@ -205,6 +205,11 @@ VALUES
 	'injective $R$-linear maps',
 	'This holds in every finitary algebraic category: the forgetful functor to $\mathbf{Set}$ is faithful, hence reflects monomorphisms, and it is continuous (even representable), hence preserves monomorphisms.'
 ),
+(
+	'R-Mod_div',
+	'injective $R$-linear maps',
+	'This holds in every finitary algebraic category: the forgetful functor to $\mathbf{Set}$ is faithful, hence reflects monomorphisms, and it is continuous (even representable), hence preserves monomorphisms.'
+),
 (
 	'real_interval',
 	'every morphism',

database/data/007_special-morphisms/004_epimorphisms.sql

@@ -195,6 +195,11 @@ VALUES
 	'surjective $R$-linear maps',
 	'The forgetful functor to abelian groups is faithful and preserves colimits, hence reflects and preserves epimorphisms. Alternatively, use the same proof as for abelian groups.'
 ),
+(
+	'R-Mod_div',
+	'surjective $R$-linear maps',
+	'The forgetful functor to abelian groups is faithful and preserves colimits, hence reflects and preserves epimorphisms. Alternatively, use the same proof as for abelian groups.'
+),
 (
 	'real_interval',
 	'every morphism',