Exercise 3, § 2

Let A, B, C be three sets endowed with structures of the same species $\Sigma$, let $f$ be a morphism of A onto B, and let $g$ be a morphism of B into C. Show that if $g \circ f$ is an isomorphism of A onto C, then $g$ and $f$ are isomorphisms.