1 files changed, 18 insertions, 0 deletions
diff --git a/content/zettel/4d2a.md b/content/zettel/4d2a.md
new file mode 100644
index 0000000..1747d38
--- /dev/null
+++ b/content/zettel/4d2a.md
@@ -0,0 +1,18 @@
++++
+title = "Monomorphisms"
+author = "Yann Herklotz"
+tags = []
+categories = []
+backlinks = ["4d2"]
+forwardlinks = ["4d2b"]
+zettelid = "4d2a"
++++
+
+$g: B \rightarrow C$
+$A \underset{f_2}{\overset{f_1}{\rightrightarrows}} B\overset{g}{\rightarrow} C$
+
+Monomorphism: $g \circ f_1 = g \circ f_2 \implies f_1 = f_2$.
+
+This can be compared to injective maps in Sets, however, one does not
+have to define it in terms of the actual objects, but just on the
+morphisms ($g(b_1) =g(b_2) \implies b_1 = b_2$)