content/zettel/4d2b.md


1
2
3
4
5
6
7
8
9
10
11
12
13
14

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