blob: 1747d38cb413d97c45055e4bb5254e2308908c57 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
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$)
|