📝Category Theory: Isomorphism\begin{tikzcd} A \arrow[r, "f", shift left] \arrow[loop left, "id_A"] & B \arrow[l, "g", shift left] \arrow[loop right, "id_B"] \end{tikzcd}Isomorphism is a pair of morphisms f:A→Bf : A \to Bf:A→B and g:B→Ag : B \to Ag:B→A s.t.g∘f=idAg \circ f = id_Ag∘f=idAf∘g=idBf \circ g = id_Bf∘g=idBBacklinks📝 § Category Theory