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

An Isomorphism is a very strong property, which is quite rare as it
states that two morphisms have to create an identity morphism. Instead,
equivalence classes are often used instead, where there must be an
Isomorphism between the composition and the identity instead.

$A \underset{g}{\overset{f}{\rightleftarrows}} B \implies f \circ g = I_B \landg \circ f = I_A$