Isomorphism

A morphism $f:A\to B$ is an isomorphism if:

$$\exists g:B\to A\text{ such that }g\circ f={\text{id}}_A,f\circ g={\text{id}}_B$$

Notation: $f\cong B$