+++
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$)