+++
title = "Epimorphisms"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["4d2a"]
forwardlinks = ["4d2c"]
zettelid = "4d2b"
+++

$g: B \leftarrow C$
$A \underset{f_2}{\overset{f_1}{\leftleftarrows}} B\overset{g}{\leftarrow} C$

Epimorphisms: $f_1 \circ g = f_2 \circ g \implies f_1 = f_2$.